Signature
void socket_close(u64 sockfd)
Parameters
sockfd : socket handle
Closes an existing socket connection.
Use this when you are done with a socket opened through socket_connect().
Example
u64 fd = socket_connect("127.0.0.1", 80);
print(fd != 0 ? "opened a socket" : "open failed", ", now closing it\n");
socket_close(fd);
Output
opened a socket, now closing it