Package aleph.tools

Class Summary
KillJava  
KillServers Shut down servers.
java aleph.tools.KillServers
tries to kill all servers at hosts in Config.hosts
java aleph.tools.KillServersn
tries to kill first n servers at hosts in Config.hosts
java aleph.tools.KillServershost1 ...
PingServers Enquire about servers' health.
java aleph.tools.PingServers
tries to ping all servers at hosts in Config.hosts
java aleph.tools.PingServersn
tries to ping first n servers at hosts in Config.hosts
java aleph.tools.PingServershost1 ...
StartServers  
Terminator Files copied from DOS-based file systems often have spurious ^Ms as line terminators, which confuses CVS and diff.