| changeset 51085 | d90218288d51 |
| parent 45066 | 11f622794ad6 |
| child 53709 | 84522727f9d3 |
| 51084:cbae5c5ffd23 | 51085:d90218288d51 |
|---|---|
101 in |
101 in |
102 launch_thread thread_req; |
102 launch_thread thread_req; |
103 loop () |
103 loop () |
104 end; |
104 end; |
105 in |
105 in |
106 tracing ("SCGI server started."); |
106 tracing ("SCGI server started on port " ^ string_of_int port ^ "."); |
107 dump_handlers (); |
107 dump_handlers (); |
108 loop (); |
108 loop (); |
109 Socket.close passive_sock |
109 Socket.close passive_sock |
110 end; |
110 end; |
111 |
111 |