web2py/web2py — pull request #335 by ilvalle (2013-12-21 14:41:48+00:00)
Title: Save current working session in the online editor

with current working session I mean the list of file currently open
It works by adding a new section in the settings.cfg, which will contain a row for each different file list saved.
it also fix an issue related to the config parser which requires to remove all entries in the [default] section.

still missing a simple way to remove sessions :(