Markus Zolliker eee6c22b87 add sea config information to sea list
+ fixed servman import (must be __init__)
2020-11-03 12:06:29 +01:00
2020-11-03 11:35:04 +01:00
2020-10-23 16:18:50 +02:00
2020-11-03 12:06:29 +01:00
2020-11-03 11:35:04 +01:00

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.

Description
No description provided
Readme 154 KiB
Languages
Python 100%