Sokoban
0) {
# $level = substr($level, 0, strlen($level) - 1);
# dba_insert($n++, $level, $levelsdb);
# $level = "";
# }
# } else {
# $level .= $line . "/";
# }
# }
# dba_close($levelsdb);
# fclose($levels);
# $levelsdb = dba_open("leveldb", "w", "gdbm");
# $key = dba_firstkey($levelsdb);
# while ($key) {
# echo "$key = " . dba_fetch($key, $levelsdb) . "
";
# $key = dba_nextkey($levelsdb);
# }
# dba_close($levelsdb);
?>