Yes, it appears to be down.

Mike

On Oct 2, 2017 12:39 PM, <keith@matellio.com> wrote:

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