Henrik Fehlauer 5ed67a6507 Merge server.sh and local.sh ... By setting BINDADDRESS and delegating to server.sh we can avoid duplicating most of the code. This also makes 0d5e1c1 available for local.sh, i.e. being able to launch local.sh from arbitrary directories too.		2019-05-30 23:52:59 +02:00
..
local.sh	Merge server.sh and local.sh	2019-05-30 23:52:59 +02:00
server.cmd	update standalone server.cmd to segments4	2016-01-07 18:18:02 +01:00
server.sh	Merge server.sh and local.sh	2019-05-30 23:52:59 +02:00