diff -up bolzplatz2006-1.0.3/libsrc/lwjgl/src/native/linux/display.c~ bolzplatz2006-1.0.3/libsrc/lwjgl/src/native/linux/display.c --- bolzplatz2006-1.0.3/libsrc/lwjgl/src/native/linux/display.c~ 2006-05-29 18:49:24.000000000 +0200 +++ bolzplatz2006-1.0.3/libsrc/lwjgl/src/native/linux/display.c 2009-11-04 15:05:12.000000000 +0100 @@ -132,10 +132,15 @@ static bool isXF86VidModeSupported(JNIEn } static extension getBestDisplayModeExtension(JNIEnv *env, Display *disp) { +/* HDG disable use of xrandr, as it hangs on exit in XRRGetScreenInfo. + Note I don't think this is bolzplatz fault, but lets workaround it. */ +#if 0 if (isXrandrSupported(env, disp)) { printfDebugJava(env, "Using Xrandr for display mode switching"); return XRANDR; - } else if (isXF86VidModeSupported(env, disp)) { + } else +#endif + if (isXF86VidModeSupported(env, disp)) { printfDebugJava(env, "Using XF86VidMode for display mode switching"); return XF86VIDMODE; } else {