Ticket #8605: vboxshell.patch
| File vboxshell.patch, 1.2 KB (added by , 14 years ago) |
|---|
-
vboxshell.py
30 30 import re 31 31 import platform 32 32 from optparse import OptionParser 33 33 34 if platform.system() == 'Windows' or platform.system() == 'Microsoft': 35 try: 36 import win32api 37 except: 38 print "ERROR: pywin32 library cannot be loaded." 39 exit() 40 fixed_file_info = win32api.GetFileVersionInfo(win32api.__file__, '\\') 41 pywin32_ver = fixed_file_info['FileVersionLS'] >> 16 42 if pywin32_ver < 216: 43 print "Found pywin32 version:", pywin32_ver 44 print "ERROR: pywin32 version is too old, please install v216 or newer" 45 exit() 46 else: 47 print "Found pywin32 version:", pywin32_ver 48 34 49 g_batchmode = False 35 50 g_scripfile = None 36 51 g_cmd = None 37 52 g_hasreadline = True … … 3254 3269 ctx['perf'] = None 3255 3270 3256 3271 home = getHomeFolder(ctx) 3257 3272 checkUserExtensions(ctx, commands, home) 3258 if platform.system() == 'Windows' :3273 if platform.system() == 'Windows' or platform.system() == 'Microsoft': 3259 3274 global g_hascolors 3260 3275 g_hascolors = False 3261 3276 hist_file=os.path.join(home, ".vboxshellhistory") 3262 3277 autoCompletion(commands, ctx)

