hotspot/src/os/windows/vm/os_windows.cpp
changeset 8476 7e34c2d4cf9b
parent 8120 647514d55e9d
child 8480 2858637fddce
--- a/hotspot/src/os/windows/vm/os_windows.cpp	Sat Feb 26 13:33:23 2011 -0500
+++ b/hotspot/src/os/windows/vm/os_windows.cpp	Mon Feb 28 14:19:52 2011 +0100
@@ -1788,7 +1788,7 @@
   }
 
   buf[0] = '\0';
-  if (strcmp(Arguments::sun_java_launcher(), "gamma") == 0) {
+  if (Arguments::created_by_gamma_launcher()) {
      // Support for the gamma launcher. Check for an
      // JAVA_HOME environment variable
      // and fix up the path so it looks like
@@ -3418,6 +3418,19 @@
 }
 
 
+bool os::is_debugger_attached() {
+  return IsDebuggerPresent() ? true : false;
+}
+
+
+void os::wait_for_keypress_at_exit(void) {
+  if (PauseAtExit) {
+    fprintf(stderr, "Press any key to continue...\n");
+    fgetc(stdin);
+  }
+}
+
+
 int os::message_box(const char* title, const char* message) {
   int result = MessageBox(NULL, message, title,
                           MB_YESNO | MB_ICONERROR | MB_SYSTEMMODAL | MB_DEFAULT_DESKTOP_ONLY);