ZINC15 management

From DISI
Revision as of 23:13, 24 May 2024 by Frodo (talk | contribs) (asdf)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
python -m zinc.management shell (Open a ZINC15 shell)
python -m zinc.management server (Start a single-core test server)
zincserver.start-backend.sh (start the multicore backend as the current user)
zincserver.stop-backend.sh (stop the multicore backend as the current user)