$data = @socket_read($read_sock, 1024, PHP_NORMAL_READ);
// check if the client is disconnected
- if (($data === false) || (in_array(strtolower(trim($data)), $leaving))) {
+ if (($data === FALSE) || (in_array(strtolower(trim($data)), $leaving))) {
// remove client for $clients array
$key = array_search($read_sock, $clients);
*
* @author Roland Haeder <webmaster@ship-simu.org>
* @version 0.0.0
- * @copyright Copyright (c) 2007, 2008 Roland Haeder, 2009 - 2012 Hub Developer Team
+ * @copyright Copyright (c) 2007, 2008 Roland Haeder, 2009 - 2015 Hub Developer Team
* @license GNU GPL 3.0 or any newer version
* @link http://www.ship-simu.org
*