HALservicemanager
A manager for starting, stopping and listing services/servers like frappy, nicos and sea.
Several instances of nicos, frappy, sea and seweb might run on the same machine.
contains also getsestuff, the script to manage the repos on all instruments