25 Oct
2008
25 Oct
'08
8:32 p.m.
On Fri, Oct 24, 2008 at 8:21 PM, very <riververy@yahoo.com> wrote:
Do you provide any program to restart the galaxy server? Currently, I just Ctrl+z to exit the run.sh, but some time it kept the port binding, so I have to restart the computer to release the port to start the server. If I work remotely, this put me into trouble.
Ctrl+z will place the server into the background and not stop it. Therefore, it will keep the port bound. You will need to use Ctrl+c, I think. Sean