public static function set_current_sock($sock, $s) { self::$current_socket_key = $sock; self::$current_socket = $s; }