hotspot/src/os/windows/vm/os_windows.hpp
changeset 1421 a7ef1a3b2644
parent 1 489c9b5090e2
child 1623 a0dd9009e992
--- a/hotspot/src/os/windows/vm/os_windows.hpp	Wed Oct 01 15:05:06 2008 -0400
+++ b/hotspot/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; }