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.