try to make mp3decoder pass SSJava checking

[IRC.git] / Robust / src / Tests / remotethreadtest.java

diff --git a/Robust/src/Tests/remotethreadtest.java b/Robust/src/Tests/remotethreadtest.java
index db58452b87aa2f9b20a8f3c9cd2122170ed51624..40faa0271f49efbcb50e7e88b1224081ac8eb602 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\n");
+       t.start(mid);
+       System.printString("Finished\n");
+       //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\n");
+    }
 }