def getwindowsversion(space):
from rpython.rlib import rwin32
info = rwin32.GetVersionEx()
w_windows_version_info = app.wget(space, "windows_version_info")
raw_version = space.newtuple([
space.newint(info[0]),
space.newint(info[1]),
space.newint(info[2]),
space.newint(info[3]),
space.newtext(info[4]),
space.newint(info[5]),
space.newint(info[6]),
space.newint(info[7]),
space.newint(info[8]),
])
return space.call_function(w_windows_version_info, raw_version)
def getwindowsversion(space):
from rpython.rlib import rwin32
info = rwin32.GetVersionEx()
w_windows_version_info = app.wget(space, "windows_version_info")
raw_version = space.newtuple([
space.newint(info[0]),
space.newint(info[1]),
space.newint(info[2]),
space.newint(info[3]),
space.newtext(info[4]),
space.newint(info[5]),
space.newint(info[6]),
space.newint(info[7]),
space.newint(info[8]),
# leave _platform_version empty, platform.py will use the main
# version numbers above.
space.w_None,
])
return space.call_function(w_windows_version_info, raw_version)