Attempt to fix port leak, also fixed clean up of sockets. #1

Merged
merged 1 commit into from Jul 9, 2012
Commits on Jul 7, 2012
  1. Attempt to fix port leak, also fixed clean up of sockets.

    Yoshihiro Tanaka committed Jul 7, 2012
    There is a possibility of port leak when processes are killed using exit/2 BIF when they are connecting/closing sockets, executing in prim_inet module.
    Also fixed the format of remaining free sockets in terminate/2.