1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
<?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_dba
extends 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:
?>
|
