Utilities/__init__.py

changeset 2227
b7aceb255831
parent 2194
0fce40af66b8
child 2239
a47b50e80a20
--- a/Utilities/__init__.py	Wed Nov 14 18:58:51 2012 +0100
+++ b/Utilities/__init__.py	Sun Nov 25 18:40:15 2012 +0100
@@ -1134,6 +1134,8 @@
     
     if not user and isWindowsPlatform():
         return win32_GetUserName()
+    
+    return user
 
 
 def getHomeDir():

eric ide

mercurial