Comment 3 for bug 558404

Revision history for this message
Jochen Kemnade (jochenkemnade) wrote :

Sorry, false information. Using "-server" does not fix it, it just kept running for longer, which might be coincidence though.