<?php
+// Own namespace
+namespace CoreFramework\Socket;
+
/**
* This exception is thrown when socket_connection() could not succeed. This
* means a lot: the connection was refused by other peer (no open port; mostly
// Call parent exception constructor
parent::__construct($message, $code);
}
-}
-// [EOF]
-?>
+}