From: bdemsky <bdemsky>
Date: Thu, 5 Oct 2006 07:18:18 +0000 (+0000)
Subject: Add ServerSocket/Socket classes.
X-Git-Tag: preEdgeChange~818
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f529d475a7c3e2600de2cd1ed743245a5911438e;p=IRC.git

Add ServerSocket/Socket classes.
---

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index f5c2c6b8..8dbe05dc 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -51,8 +51,11 @@ public class Main {
       readSourceFile(state, ClassLibraryPrefix+"Object.java");
       readSourceFile(state, ClassLibraryPrefix+"System.java");
       readSourceFile(state, ClassLibraryPrefix+"String.java");
-      if (state.TASK)      
+      if (state.TASK) {
 	  readSourceFile(state, ClassLibraryPrefix+"StartupObject.java");
+	  readSourceFile(state, ClassLibraryPrefix+"Socket.java");
+	  readSourceFile(state, ClassLibraryPrefix+"ServerSocket.java");
+      }
 
       BuildIR bir=new BuildIR(state);
       bir.buildtree();