Wed Jul 18 06:33:06 PDT 2001 thorsten * Small modifications to java browser tool: 1. Read and show output data even if an ERROR was found in the hat file. 2. Accept additional argument "-remote" with a node address. Pass the argument on to hat-connect. Options allows interfacing from hat-detect and hat-observe to start hat-trail at a particular node. M ./src/old/trail/DbgPanel.java -1 +1 M ./src/old/trail/HatTrail.java -1 +6 M ./src/old/trail/OutputPanel.java -1 +7 M ./src/old/trail/TraceFrame.java -3 +4