Esa Korhonen 1e33ab69f2 Rename server_is_running() to server_is_usable()
The previous name was misleading. The new server_is_running() only
checks for the running bit so that a server is always either running
or down.
2018-07-31 14:53:56 +03:00
..
2018-07-26 11:27:09 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-07-26 11:27:09 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2017-02-20 17:44:22 +02:00
2018-07-17 11:52:21 +03:00
2018-06-25 10:07:52 +03:00
2017-06-29 15:34:22 +02:00
2018-07-26 11:27:09 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-07-31 09:41:13 +03:00
2018-07-11 14:08:56 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-07-11 14:08:56 +03:00
2018-07-11 14:08:56 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2018-06-25 10:07:52 +03:00
2017-03-09 10:01:38 +02:00
2018-06-26 09:19:46 +03:00
2018-06-25 10:07:52 +03:00