July 5th TG sync (#1883)

July 5th TG sync
2017-07-05 22:14:19 -05:00
parent 454b9c3d68
commit b1b4826c0c
1264 changed files with 149689 additions and 570309 deletions
@@ -1,11 +1,11 @@
-/mob/Logout()
-	SStgui.on_logout(src)
-	unset_machine()
-	GLOB.player_list -= src
-
-	..()
-
+/mob/Logout()
+	SStgui.on_logout(src)
+	unset_machine()
+	GLOB.player_list -= src
+
+	..()
+
 	if(loc)
 		loc.on_log(FALSE)
-
+
 	return TRUE