Re: [Monetdb-developers] [MonetDB-users] SQL server startup time problem (undo/redo problem?)