UI/UserInterface.py

changeset 2559
56b91939d319
parent 2548
03c3840f887d
child 2560
cb82017d4dac
--- a/UI/UserInterface.py	Mon Apr 01 17:53:25 2013 +0200
+++ b/UI/UserInterface.py	Thu Apr 04 19:08:42 2013 +0200
@@ -1018,9 +1018,12 @@
                 else:
                     argsStr = "{0} {1}".format(argsStr, arg)
                 continue
-
-            ext = os.path.splitext(arg)[1]
-            ext = os.path.normcase(ext)
+            
+            try:
+                ext = os.path.splitext(arg)[1]
+                ext = os.path.normcase(ext)
+            except IndexError:
+                ext = ""
 
             if ext in ['.e4p']:
                 self.project.openProject(arg)

eric ide

mercurial