lib/WikiDB/backend/dba.php

   1 <?php rcs_id('$Id: dba.php,v 1.1 2001-09-18 19:16:23 dairiki Exp $');
   2
   3 require_once('lib/WikiDB/backend/dbaBase.php');
   4
   5 require_once('lib/DbaDatabase.php');
   6
   7 class WikiDB_backend_dba
   8 extends WikiDB_backend_dbaBase
   9 {
  10     function WikiDB_backend_dba ($dbparams) {
  11         $directory = '/tmp';
  12         $prefix = 'wiki_';
  13         $dba_handler = 'gdbm';
  14         $timeout = 20;
  15         extract($dbparams);
  16
  17         $dbfile = "$directory/$prefix" . 'pagedb' . '.' . $dba_handler;
  18
  19         // FIXME: error checking.
  20         $db = new DbaDatabase($dbfile, false, $dba_handler);
  21         $db->set_timeout($timeout);
  22         if (!$db->open('c')) {
  23             trigger_error("$dbfile: Can't open dba database", E_USER_ERROR);
  24             ExitWikit();
  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 ?>