start real remote thread

diff --git a/Robust/src/Tests/remotethreadtest.java b/Robust/src/Tests/remotethreadtest.java
index db58452b87aa2f9b20a8f3c9cd2122170ed51624..e9c9f2a664640c34eb31713a1d02428f0b36d384 100644 (file)
--- a/Robust/src/Tests/remotethreadtest.java
+++ b/Robust/src/Tests/remotethreadtest.java
@@ -1,14 +1,22 @@
 public class RemoteThread extends Thread {
-       public RemoteThread() {
+    public RemoteThread() {
+    }
+    
+    public static void main(String[] st) {
+       int mid = (128<<24)|(200<<16)|(9<<8)|26;
+       RemoteThread t =null;
+       atomic {
+           t= global new RemoteThread();
        }
+       System.printString("Starting");
+       t.start(mid);
+       System.printString("Finished");
+       //this is ugly...
+       while(true) ;
+    }
 
-       public static void main(String[] st) {
-               int mid = 127;
-               RemoteThread t =null;
-               atomic {
-                   t= global new RemoteThread();
-               }
-               t.start(mid);
-       }
+    public int run() {
+       System.printString("Remote machine");
+    }
 }