5 Commits

Author	SHA1	Message	Date
Greg Gauthier	2ea94861c2	Update rundemo.sh	2024-07-21 19:04:25 +00:00
Greg Gauthier	428150e81f	collect the pid of the server on startup, and kill it on shutdown	2020-10-10 18:00:00 +01:00
Greg Gauthier	7bdb1712b9	fixing bash installer	2020-10-10 16:00:11 +01:00
Greg Gauthier	1e263f05ba	fixes	2020-10-10 15:43:20 +01:00
Greg Gauthier	c0523b2905	readme and refactoring	2019-05-23 13:19:43 +01:00