fcd85f1ca4
- servman.cfg moved to home directory - changed mechanism to retrieve frappy cfg in list - fixed bin/sea to accept also foreign instruments for gui / cli
servman
A manager for starting, stopping and listing services/servers like frappy, nicos and sea.
Several instances of nicos, frappy and sea might run on the same machine.