commit 30620ac6418ac7cead213ba677ca30600eef3b7b
author Jack Jansen <jack.jansen@cwi.nl> Fri Jan 07 12:50:12 2005 +0000
committer Jack Jansen <jack.jansen@cwi.nl> Fri Jan 07 12:50:12 2005 +0000
tree 1ea38e086e4ce316e7a7c28c1c1a7ccbc284e1da
parent c110f8665f22b13561a728d493a7699ea0acdda0

Workaround for the fact that urllib2 doesn't default to "file:" urls.

Mac/Tools/IDE/PackageManager.py

diff --git a/Mac/Tools/IDE/PackageManager.py b/Mac/Tools/IDE/PackageManager.py
index 0041a17..76a184f 100755
--- a/Mac/Tools/IDE/PackageManager.py
+++ b/Mac/Tools/IDE/PackageManager.py
@@ -181,6 +181,8 @@
         filename = EasyDialogs.AskFileForOpen(typeList=("TEXT",))
         if filename:
             filename = urllib.pathname2url(filename)
+            if filename[:5] != 'file:':
+            	filename = 'file:' + filename
             self.opendoc(filename)
 
     def domenu_openURL(self, *args):