Socket s = new Socket(InetAddress.getByName("bee441.cs.berkeley.edu"), 3133);
OutputStream os = s.getOutputStream();
PrintWriter pw = new PrintWriter(new OutputStreamWriter(os));
- pw.print(Server.pass_string+" main.bit\n");
+ String bitfile = args.length==0 ? "main.bit" : args[0];
+ pw.print(Server.pass_string+" "+bitfile+"\n");
pw.flush();
byte[] buf = new byte[1024];