private function getSaveName($session_id) { $name = $this->sessions[$session_id]['game_id'] . ':' . $session_id; $file = libString::normalizeString($name) . '_' . crc32($name) . '.sav'; return $file; }