+ private static class SocketFD extends InputOutputStreamFD {
+ private final Socket s;
+
+ public SocketFD(Socket s) throws IOException {
+ super(s.getInputStream(),s.getOutputStream());
+ this.s = s;
+ }
+
+ public void _close() { try { s.close(); } catch(IOException e) { } }
+ }
+
+ public int sys_opensocket(int cstring, int port) throws FaultException, ErrnoException {
+ String hostname = cstring(cstring);
+ try {
+ FD fd = new SocketFD(new Socket(hostname,port));
+ int n = addFD(fd);
+ if(n == -1) fd.close();
+ return n;
+ } catch(IOException e) {
+ return -EIO;
+ }
+ }
+
+ private static class ListenSocketFD extends FD {
+ ServerSocket s;
+ public ListenSocketFD(ServerSocket s) { this.s = s; }
+ public int flags() { return 0; }
+ // FEATURE: What should these be?
+ public FStat _fstat() { return new FStat(); }
+ public void _close() { try { s.close(); } catch(IOException e) { } }
+ }
+
+ public int sys_listensocket(int port) {
+ try {
+ ListenSocketFD fd = new ListenSocketFD(new ServerSocket(port));
+ int n = addFD(fd);
+ if(n == -1) fd.close();
+ return n;
+ } catch(IOException e) {
+ return -EIO;
+ }
+ }
+
+ public int sys_accept(int fdn) {
+ if(fdn < 0 || fdn >= OPEN_MAX) return -EBADFD;
+ if(fds[fdn] == null) return -EBADFD;
+ if(!(fds[fdn] instanceof ListenSocketFD)) return -EBADFD;
+ try {
+ ServerSocket s = ((ListenSocketFD)fds[fdn]).s;
+ SocketFD fd = new SocketFD(s.accept());
+ int n = addFD(fd);
+ if(n == -1) fd.close();
+ return n;
+ } catch(IOException e) {
+ return -EIO;
+ }
+ }
+