From: Matteo Nastasi (mop) <nastasi@alternativeoutput.it>
Date: Thu, 29 Jan 2015 10:08:10 +0000 (+0100)
Subject: close socket if request_mgr fails
X-Git-Tag: v4.18.0~5
X-Git-Url: https://mop.ddnsfree.com/gitweb/?p=brisk.git;a=commitdiff_plain;h=ee84cc227e47faf1afc8cf1af7ac5a91ac6dd32d

close socket if request_mgr fails
---

diff --git a/web/Obj/sac-a-push.phh b/web/Obj/sac-a-push.phh
index 6d75492..d9ee5ad 100644
--- a/web/Obj/sac-a-push.phh
+++ b/web/Obj/sac-a-push.phh
@@ -851,6 +851,7 @@ class Sac_a_push {
                         if ($rret == FALSE) {
                             // FIXME: manage 404 !!!
                             printf("TODO: fix unknown page\n");
+                            fclose($new_socket);
                         }
                     }
                 }