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
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel