*** empty log message ***

diff --git a/palacios/include/geekos/socket.h b/palacios/include/geekos/socket.h
index a868851..7b919f4 100644 (file)
--- a/palacios/include/geekos/socket.h
+++ b/palacios/include/geekos/socket.h
@@ -1,6 +1,8 @@
 #ifndef GEEKOS_SOCKET_H
 #define GEEKOS_SOCKET_H
 
+#include <geekos/queue.h>
+
 
 struct socket {
   int in_use;

diff --git a/palacios/src/geekos/socket.c b/palacios/src/geekos/socket.c
index 255afb3..322e2d3 100644 (file)
--- a/palacios/src/geekos/socket.c
+++ b/palacios/src/geekos/socket.c
@@ -10,8 +10,8 @@ void init_network() {
 
   for (i = 0; i < MAX_SOCKS; i++) {
     sockets[i].in_use = 0;
-    init_queue(&(sockets[i].send_queue))
-    init_queue(&(sockets[i].recv_queue))
+    init_queue(&(sockets[i].send_queue));
+    init_queue(&(sockets[i].recv_queue));
   }
 
   // set up interrupt handler
@@ -51,5 +51,6 @@ int connect(const uint_t ip_addr) {
 
 
 
+  return sockfd;
 
 }