lib/WikiDB/backend/dba.php

   1 <?php rcs_id('$Id: dba.php,v 1.4 2002-01-24 06:53:35 carstenklapp 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(sprintf(_("%s: Can't open dba database"), $dbfile), E_USER_ERROR);
  24             global $request;
  25             $request->finish(fmt("%s: Can't open dba database", $dbfile));
  26         }
  27
  28         $this->WikiDB_backend_dbaBase($db);
  29     }
  30 };
  31
  32 // (c-file-style: "gnu")
  33 // Local Variables:
  34 // mode: php
  35 // tab-width: 8
  36 // c-basic-offset: 4
  37 // c-hanging-comment-ender-p: nil
  38 // indent-tabs-mode: nil
  39 // End:
  40 ?>