import datetime

import db.types
import db.pool
import view.root
import view.error


class Server:
  def __init__(self, config):
    urlprefix = str(config.get('urlprefix', ''))
    while urlprefix[-1:] == '/':
      urlprefix = urlprefix[:-1]
    
    config_db = config.get('db', dict())
    config_db_pool = config_db.get('pool', dict())
    
    self.config = {
      'urlprefix'     : urlprefix,
      'urldataprefix' : str(config.get('urldataprefix', urlprefix + '/data')),
      
      'db' : {
        'connection'  : dict(config_db.get('connection', dict())),
        'prefix'      : str(config_db.get('prefix', '')),
        'retrytime'   : float(config_db.get('retrytime', 0)),
        'pool': {
          'read'      : int(config_db_pool.get('read' , 10)),
          'write'     : int(config_db_pool.get('write', 10)),
        },
      },
    }
    
    assert self.config['db']['retrytime'] >= 0
    assert self.config['db']['prefix'] == '' \
        or self.config['db']['prefix'].isidentifier()
    assert self.config['db']['pool']['read']  > 0
    assert self.config['db']['pool']['write'] > 0
    
    self.dbtypebytype = db.types.bytype
    self.dbtypebychar = db.types.bychar
    self.dbpool = db.pool.Pool(self)
    
    self.pageroot = view.root.RootPage()
    self.pagenotfound = view.error.ErrorPage('404', 'Page Not Found')