[BugRoger]

Thanks for your reply. I will try that.

It's a bit silly that I have to kill the server before I can see what's going on but that might be ok in combination with the screen command (which is indeed very useful).