changeset 1239:ec073422d692

Amend 7901448 with better formatting.
author shade
date Thu, 11 Jun 2015 17:57:59 +0300
parents 3378c82927e0
children c247d464d17f
files jmh-core/src/main/java/org/openjdk/jmh/Main.java jmh-core/src/main/java/org/openjdk/jmh/runner/ProfilersFailedException.java
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/jmh-core/src/main/java/org/openjdk/jmh/Main.java	Thu Jun 11 17:56:42 2015 +0300
+++ b/jmh-core/src/main/java/org/openjdk/jmh/Main.java	Thu Jun 11 17:57:59 2015 +0300
@@ -75,7 +75,7 @@
                 System.exit(1);
             } catch (ProfilersFailedException e) {
                 // This is not exactly an error, set non-zero exit code
-                System.err.print(e.getMessage());
+                System.err.println(e.getMessage());
                 System.exit(1);
             } catch (RunnerException e) {
                 System.err.print("ERROR: ");
--- a/jmh-core/src/main/java/org/openjdk/jmh/runner/ProfilersFailedException.java	Thu Jun 11 17:56:42 2015 +0300
+++ b/jmh-core/src/main/java/org/openjdk/jmh/runner/ProfilersFailedException.java	Thu Jun 11 17:57:59 2015 +0300
@@ -28,7 +28,7 @@
     private static final long serialVersionUID = 1446854343206595167L;
 
     public String getMessage() {
-        return "Profilers failed to initialize.";
+        return "Profilers failed to initialize, exiting.";
     }
 
 }