📄 dba.php
字号:
<?php rcs_id('$Id: dba.php,v 1.7 2004/11/21 11:59:26 rurban Exp $');require_once('lib/WikiDB/backend/dbaBase.php');require_once('lib/DbaDatabase.php');class WikiDB_backend_dbaextends WikiDB_backend_dbaBase{ function WikiDB_backend_dba ($dbparams) { $directory = '/tmp'; $prefix = 'wiki_'; $dba_handler = 'gdbm'; $timeout = 20; extract($dbparams); if ($directory) $directory .= "/"; $dbfile = $directory . $prefix . 'pagedb' . '.' . $dba_handler; // FIXME: error checking. $db = new DbaDatabase($dbfile, false, $dba_handler); $db->set_timeout($timeout); if (!$db->open('c')) { trigger_error(sprintf(_("%s: Can't open dba database"), $dbfile), E_USER_ERROR); global $request; $request->finish(fmt("%s: Can't open dba database", $dbfile)); } $this->WikiDB_backend_dbaBase($db); }};// (c-file-style: "gnu")// Local Variables:// mode: php// tab-width: 8// c-basic-offset: 4// c-hanging-comment-ender-p: nil// indent-tabs-mode: nil// End: ?>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -