lib/sockets: make sure to use libc close in fd manager

Author: FreakyPenguin

lib/sockets/manage_fd.c

@@ -76,8 +76,7 @@ int flextcp_fd_salloc(struct socket **ps)
   /* no more file handles available */
   if (fd >= MAXSOCK) {
     free(s);
-    /* TODO: enusure this is the libc close */
-    close(fd);
+    tas_libc_close(fd);
     errno = EMFILE;
     return -1;
   }
@@ -161,8 +160,7 @@ void flextcp_fd_close(int fd)
 
   fhs[fd].type = FH_UNUSED;
   MEM_BARRIER();
-  /* TODO: enusure this is the libc close */
-  close(fd);
+  tas_libc_close(fd);
 }
 
 /* do the tas-internal part of duping oldfd to newfd, after the linux fds have