lib/WikiDB/backend/dba.php

   1 <?php rcs_id('$Id: dba.php,v 1.7 2004-11-21 11:59:26 rurban Exp $');
   2
   3 require_once('lib/WikiDB/backend/dbaBase.php');
   4 require_once('lib/DbaDatabase.php');
   5
   6 class WikiDB_backend_dba
   7 extends WikiDB_backend_dbaBase
   8 {
   9     function WikiDB_backend_dba ($dbparams) {
  10         $directory = '/tmp';
  11         $prefix = 'wiki_';
  12         $dba_handler = 'gdbm';
  13         $timeout = 20;
  14         extract($dbparams);
  15         if ($directory) $directory .= "/";
  16         $dbfile = $directory . $prefix . 'pagedb' . '.' . $dba_handler;
  17
  18         // FIXME: error checking.
  19         $db = new DbaDatabase($dbfile, false, $dba_handler);
  20         $db->set_timeout($timeout);
  21         if (!$db->open('c')) {
  22             trigger_error(sprintf(_("%s: Can't open dba database"), $dbfile), E_USER_ERROR);
  23             global $request;
  24             $request->finish(fmt("%s: Can't open dba database", $dbfile));
  25         }
  26
  27         $this->WikiDB_backend_dbaBase($db);
  28     }
  29 };
  30
  31 // (c-file-style: "gnu")
  32 // Local Variables:
  33 // mode: php
  34 // tab-width: 8
  35 // c-basic-offset: 4
  36 // c-hanging-comment-ender-p: nil
  37 // indent-tabs-mode: nil
  38 // End:
  39 ?>