[Windmill-dev] patch so that Windmill works on Debian

[Brandon Craig Rhodes]

Because Debian does not call Firefox "Firefox", but instead calls it
"Iceweasel", Windmill cannot find the default profile page.  The
following patch, which also simplifies a bit the search for a value for
MOZILLA_DEFAULT_PROFILE, makes Windmill able to run under Debian:

===================================================================
--- windmill/conf/global_settings.py    (revision 717)
+++ windmill/conf/global_settings.py    (working copy)
@@ -95,11 +95,11 @@
     if firefoxBin is not None and os.path.isfile(firefoxBin):
         MOZILLA_BINARY = firefoxBin

-    if os.path.isdir('/usr/share/firefox/defaults/profile'):
-        MOZILLA_DEFAULT_PROFILE = '/usr/share/firefox/defaults/profile'
-    if os.path.isdir('/usr/lib/mozilla-firefox/defaults/profile'):
-        MOZILLA_DEFAULT_PROFILE = '/usr/lib/mozilla-firefox/defaults/profile'
-
+    for path in ('/usr/lib/iceweasel/defaults/profile',
                  +                 '/usr/share/firefox/defaults/profile',
                  +                 '/usr/lib/mozilla-firefox/defaults/profile'):
+        if os.path.isdir(path):
+            MOZILLA_DEFAULT_PROFILE = '/usr/lib/iceweasel/defaults/profile'

 elif os.name == 'nt' or sys.platform == 'cygwin':
     IE_BINARY  = os.path.join(os.environ['ProgramFiles'], 'Internet Explorer', 'iexplore.exe')
===================================================================

-- 
Brandon Craig Rhodes   brandon at rhodesmill.org   http://rhodesmill.org/brandon