equal
deleted
inserted
replaced
113 fun server' 0 server_prefix port = (warning "Giving up."; exit 1) |
113 fun server' 0 server_prefix port = (warning "Giving up."; exit 1) |
114 | server' countdown server_prefix port = |
114 | server' countdown server_prefix port = |
115 server server_prefix port |
115 server server_prefix port |
116 handle OS.SysErr ("bind failed", _) => |
116 handle OS.SysErr ("bind failed", _) => |
117 (warning ("Could not acquire port " |
117 (warning ("Could not acquire port " |
118 ^ Int.toString port ^ ". Trying again in " |
118 ^ string_of_int port ^ ". Trying again in " |
119 ^ Int.toString delay ^ " seconds..."); |
119 ^ string_of_int delay ^ " seconds..."); |
120 OS.Process.sleep (Time.fromSeconds delay); |
120 OS.Process.sleep (Time.fromSeconds delay); |
121 server' (countdown - 1) server_prefix port); |
121 server' (countdown - 1) server_prefix port); |
122 end; |
122 end; |
123 |
123 |
124 end; |
124 end; |