Is it just me or is everyone having trouble accessing the seL4 website?
I'm getting the following:
MOD_PYTHON ERROR
ProcessId: 29222
Interpreter: 'sel4.systems.keg.ertos.in.nicta.com.au'
ServerName: 'sel4.systems.keg.ertos.in.nicta.com.au'
DocumentRoot: '/var/www/seL4/content'
URI: '/Community/mailman/home.pml'
Location: '/Community'
Directory: None
Filename: '/var/www/seL4/content/Community/mailman/home.pml'
PathInfo: None
Phase: 'PythonHandler'
Handler: 'ertos'
Traceback (most recent call last):
File "/usr/lib/python2.7/dist-packages/mod_python/importer.py", line 1537, in HandlerDispatch
default=default_handler, arg=req, silent=hlist.silent)
File "/usr/lib/python2.7/dist-packages/mod_python/importer.py", line 1202, in _process_target
module = import_module(module_name, path=path)
File "/usr/lib/python2.7/dist-packages/mod_python/importer.py", line 304, in import_module
return __import__(module_name, {}, {}, ['*'])
File "/var/www/seL4/code/ertos.py", line 9, in <module>
from bib import html_bib, html_abstract, yearlist, get_bibtex
File "/var/www/seL4/code/bib.py", line 11, in <module>
rg = cfg.get('core', 'rg')
File "/usr/lib/python2.7/ConfigParser.py", line 618, in get
raise NoOptionError(option, section)
NoOptionError: No option 'rg' in section: 'core'
Keith