# HG changeset patch
# User Tom Rodriguez <tom.rodriguez@oracle.com>
# Date 1431984575 25200
# Node ID 0a50a8e82e1b0920553c744977e1874515179a85
# Parent  15a46a918fc11aeb67386fe3bc1812abb128dd31
Support string formatting in forceDump

diff -r 15a46a918fc1 -r 0a50a8e82e1b graal/com.oracle.graal.debug/src/com/oracle/graal/debug/internal/DebugScope.java
--- a/graal/com.oracle.graal.debug/src/com/oracle/graal/debug/internal/DebugScope.java	Mon May 18 22:27:24 2015 +0200
+++ b/graal/com.oracle.graal.debug/src/com/oracle/graal/debug/internal/DebugScope.java	Mon May 18 14:29:35 2015 -0700
@@ -269,9 +269,10 @@
     /**
      * This method exists mainly to allow a debugger (e.g., Eclipse) to force dump a graph.
      */
-    public static void forceDump(Object object, String message) {
+    public static void forceDump(Object object, String format, Object... args) {
         DebugConfig config = getConfig();
         if (config != null) {
+            String message = String.format(format, args);
             for (DebugDumpHandler dumpHandler : config.dumpHandlers()) {
                 dumpHandler.dump(object, message);
             }