# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@apidesign.org>
# Date 1355743265 -3600
# Node ID 4adbde04e8995142cc4dc9c438d80f1742b6c0ae
# Parent  8ecdd87e870aa48eafe34e8e75c5963fa6c29c48
Console width expanded to 100%. More structured output messages.

diff -r 8ecdd87e870a -r 4adbde04e899 launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java
--- a/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java	Mon Dec 17 12:09:57 2012 +0100
+++ b/launcher/src/main/java/org/apidesign/bck2brwsr/launcher/Console.java	Mon Dec 17 12:21:05 2012 +0100
@@ -62,20 +62,18 @@
             URL u = new URL(url);
             for (;;) {
                 String data = (String) u.getContent(new Class[] { String.class });
-                log(data);
+                log("\nGot \"" + data + "\"");
                 if (data.isEmpty()) {
                     log("No data, exiting");
                     break;
                 }
                 
                 Case c = Case.parseData(data);
-                log("className: " + c.getClassName());
-                log("methodName: " + c.getMethodName());
-                log("request: " + c.getRequestId());
+                log("Invoking " + c.getClassName() + '.' + c.getMethodName() + " as request: " + c.getRequestId());
 
                 Object result = invokeMethod(c.getClassName(), c.getMethodName());
 
-                log("result: " + result);
+                log("Result: " + result);
                 
                 String toSend;
                 if (result == null) {
diff -r 8ecdd87e870a -r 4adbde04e899 launcher/src/main/resources/org/apidesign/bck2brwsr/launcher/harness.xhtml
--- a/launcher/src/main/resources/org/apidesign/bck2brwsr/launcher/harness.xhtml	Mon Dec 17 12:09:57 2012 +0100
+++ b/launcher/src/main/resources/org/apidesign/bck2brwsr/launcher/harness.xhtml	Mon Dec 17 12:21:05 2012 +0100
@@ -29,7 +29,7 @@
         
         <h1>Bck2Browser Execution Harness</h1>
         
-        <textarea id="result" rows="10" cols="80" disabled="">
+        <textarea id="result" rows="25" style="width: 100%;" disabled="">
         </textarea>
         
         <script type="text/javascript">