Hi Hans-Rudolf
Thanks, that's a good point about "why shut it down again". Thanks for
sharing your experience,
Best wishes, Peter
On 05/12/12 12:49, Hans-Rudolf Hotz wrote:
Hi Peter
Why 'shut it down again'? Just keep it running all the time (on a
different port than the actual Galaxy serve
Hi Peter
Why 'shut it down again'? Just keep it running all the time (on a
different port than the actual Galaxy server, of course).
And you have a real-time overview how busy the Galaxy server is, who is
doing what, and (hopefully not) what errors occur. And at the end of the
day or month y
