From 59d43de5e93d74fe1d103a0e42c7ff3a433efc5c Mon Sep 17 00:00:00 2001
From: Alexander Mai <amai@users.sf.net>
Date: Sun, 26 Jan 2014 09:42:46 +0100
Subject: [PATCH] Fixed #3535 (Leaking socket)

---
 cfg/posix.cfg   | 5 +++++
 cfg/windows.cfg | 4 ++++
 2 files changed, 9 insertions(+)

diff --git a/cfg/posix.cfg b/cfg/posix.cfg
index 6e313e584..b169e6c00 100644
--- a/cfg/posix.cfg
+++ b/cfg/posix.cfg
@@ -2,5 +2,10 @@
 <def>
   <function name="usleep"> <noreturn>false</noreturn> <arg nr="1"><not-bool/><valid>0-999999</valid></arg> </function>
   <function name="_exit"> <noreturn>true</noreturn> </function>
+  
+  <resource>
+    <dealloc>close</dealloc>
+    <alloc init="true">socket</alloc>
+  </resource>
 </def>
 
diff --git a/cfg/windows.cfg b/cfg/windows.cfg
index 2a067e825..d6e4a72a2 100644
--- a/cfg/windows.cfg
+++ b/cfg/windows.cfg
@@ -4,6 +4,10 @@
     <alloc>CreatePen</alloc>
     <dealloc>DestroyObject</dealloc>
   </resource>
+  <resource>
+    <dealloc>closesocket</dealloc>
+    <alloc init="true">socket</alloc>
+  </resource>
 
   <function name="ZeroMemory">
     <noreturn>false</noreturn>