Thomas Schwinge wrote: > Last time I looked, the crash server had issues with core file > generation: Ok, probably not worth looking at then. Samuel