Mark Andrews 4326ea8b66 use stop.pl to ensure old server is fully shutdown before starting new server

2012-11-08 07:38:13 +11:00

..

ns1

update copyright notice

2012-06-29 23:45:57 +00:00

ns2

…

clean.sh

update copyright notice

2012-06-29 23:45:57 +00:00

setup.sh

update copyright notice

2012-06-29 23:45:57 +00:00

tests.sh

use stop.pl to ensure old server is fully shutdown before starting new server

2012-11-08 07:38:13 +11:00