diff --git a/collects/meta/drdr/config.ss b/collects/meta/drdr/config.ss index 7503243b77..0be6357a63 100644 --- a/collects/meta/drdr/config.ss +++ b/collects/meta/drdr/config.ss @@ -8,7 +8,7 @@ (plt-directory "/opt/plt") (drdr-directory "/opt/svn/drdr") (git-path "/usr/bin/git") -(Xvfb-path "/usr/bin/Xorg") +(Xvfb-path "/usr/bin/Xvnc") (fluxbox-path "/usr/bin/fluxbox") (current-make-install-timeout-seconds (* 90 60)) (current-make-timeout-seconds (* 90 60)) diff --git a/collects/meta/drdr/plt-build.ss b/collects/meta/drdr/plt-build.ss index cf696a2779..eda5806f9c 100644 --- a/collects/meta/drdr/plt-build.ss +++ b/collects/meta/drdr/plt-build.ss @@ -304,7 +304,7 @@ (safely-delete-directory (format "/tmp/.tX~a-lock" i)) (safely-delete-directory (build-path tmp-dir (format ".tX~a-lock" i))) (with-running-program - (Xvfb-path) (list (format ":~a" i) "-ac" "-br" "-bs" "+extension" "RANDR") + (Xvfb-path) (list (format ":~a" i) "-ac") (lambda () (with-running-program (fluxbox-path) (list "-display" (format ":~a" i) "-rc" "/home/jay/.fluxbox/init")