diff -r ddfad9496151 -r ee21eaa8ffe1 src/os/windows/vm/os_windows.hpp --- a/src/os/windows/vm/os_windows.hpp Wed Oct 01 15:05:06 2008 -0400 +++ b/src/os/windows/vm/os_windows.hpp Thu Oct 02 12:01:08 2008 -0700 @@ -34,6 +34,7 @@ static julong _physical_memory; static size_t _default_stack_size; static bool _is_nt; + static bool _is_windows_2003; public: // Windows-specific interface: @@ -60,6 +61,9 @@ // Tells whether the platform is NT or Windown95 static bool is_nt() { return _is_nt; } + // Tells whether the platform is Windows 2003 + static bool is_windows_2003() { return _is_windows_2003; } + // Returns the byte size of a virtual memory page static int vm_page_size() { return _vm_page_size; }