!747 m { static int port = 1234; static S ip = "localhost"; p { int i = 0; if (args.length >= 2) ip = args[i++]; port = parseInt(args[i++]); print("Killing " + port + " on " + ip); Socket s = new Socket(ip, port); OutputStream out = s.getOutputStream(); out.write("kill!\n".getBytes("UTF-8")); s.close(); print("Done!"); } }