check if a server is running before startup
authorThomasV <thomasv1@gmx.de>
Mon, 17 Feb 2014 20:38:17 +0000 (21:38 +0100)
committerThomasV <thomasv1@gmx.de>
Mon, 17 Feb 2014 20:38:17 +0000 (21:38 +0100)
commit1311fd1ec7c6e8e67e45e3c34895e42ebf606509
treefeca008ddfd888f604568f709247a6a274670249
parent199e1b06dd48580b19274723e51073ce076d8a1f
check if a server is running before startup
server.py