diff options
| author | Marco Pesenti Gritti <marco@marcopg.org> | 2008-12-03 12:23:14 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@marcopg.org> | 2008-12-03 12:23:14 (GMT) |
| commit | deae08b3b1b5976ca7ebd75afec58a0054e9c0d4 (patch) | |
| tree | 41e5e50b1ebb5099fa40dcad45b26efde6681680 | |
| parent | e4a9e038748684ba8149aebb03091fac02a34e4a (diff) | |
Work around for broken Fedora 10 Xephyr.
| -rw-r--r-- | bin/sugar-emulator | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/sugar-emulator b/bin/sugar-emulator index 499b8c0..ed1640e 100644 --- a/bin/sugar-emulator +++ b/bin/sugar-emulator @@ -58,6 +58,12 @@ def _check_xephyr(display): return result == 0 def _start_xephyr(dpi, dimensions): + # FIXME evil workaround until F10 Xephyr is fixed + if os.path.exists('/etc/fedora-release'): + if open('/etc/fedora-release').read().startswith('Fedora release 10'): + _run_xephyr(100, dpi, dimensions) + return + for display in range(100, 110): if not _check_xephyr(display): _run_xephyr(display, dpi, dimensions) |