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 {