From b3c2df7f30ff2ea9fa503a708604143d30fa8108 Mon Sep 17 00:00:00 2001
From: Max <maximilian.mader@gmx.de>
Date: Sat, 4 May 2013 17:16:00 +0300
Subject: [PATCH] Fix bug when nodePush dies

---
 file/lib/data/room/Room.class.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/file/lib/data/room/Room.class.php b/file/lib/data/room/Room.class.php
index 1edbb00..ac48838 100644
--- a/file/lib/data/room/Room.class.php
+++ b/file/lib/data/room/Room.class.php
@@ -167,7 +167,7 @@ public function getUsers() {
 	 * @return	\wcf\data\user\UserList
 	 */
 	public static function getDeadUsers() {
-		if (\wcf\system\nodePush\NodePushHandler::getInstance()->isRunning()) {
+		if (\wcf\system\nodePush\NodePushHandler::getInstance()->isEnabled()) {
 			$time = TIME_NOW - 120;
 		}
 		else {