30 Aug
2018
30 Aug
'18
12:09 p.m.
On Thu, Aug 30, 2018 at 11:32:49AM +0200, Roland Fehrenbacher wrote:
Ah, OK. If this happened again, please check whether the client had any exceptions (in the terminal you started it).
Sure, no problem. A. -- Ansgar Esztermann Sysadmin http://www.mpibpc.mpg.de/grubmueller/esztermann