Bugfix: silence socket_connect() warnings/errors

diff --git a/program/reservation/reservation_session.php b/program/reservation/reservation_session.php
index f9c07ecfef1be77644bd9269c06a6695cf61e0aa..bdee85d3f50e2e9306618b4cad8fe270e06cd715 100644 (file)
--- a/program/reservation/reservation_session.php
+++ b/program/reservation/reservation_session.php
@@ -117,7 +117,7 @@
       return c_base_return_error::s_false();
     }
 
-    $connected = socket_connect($socket, $settings['database_create_account_host'], $settings['database_create_account_port']);
+    $connected = @socket_connect($socket, $settings['database_create_account_host'], $settings['database_create_account_port']);
     if ($connected === FALSE) {
       socket_close($socket);
       unset($socket);