- changed sessions to 'file' and added a 'sessions' folder to contain the session files.

Miguel Barão
1 parent a08b82c9
Showing 3 changed files with 4 additions and 1 deletions Show diff stats
questions.py
serve.py
sessions/.gitignore
@@ -461,6 +461,7 @@ class QuestionTextArea(Question):
                 stdin=self['answer'],
                 timeout=self['timeout']
                 )
+
             if type(out) in (int, float):
                 self['grade'] = float(out)
  
@@ -358,7 +358,7 @@ if __name__ == &#39;__main__&#39;:
         '/': {
             'tools.sessions.on': True,
             'tools.sessions.timeout': 240,  # sessions last 4 hours
-            'tools.sessions.storage_type': 'ram',  # or 'file'
+            'tools.sessions.storage_type': 'file',  # 'ram' or 'file'
             'tools.sessions.storage_path': 'sessions',  # if storage_type='file'
             # tools.sessions.secure = True
             # tools.sessions.httponly = True
@@ -0,0 +1,2 @@
+*
+!.gitignore
...	...	@@ -461,6 +461,7 @@ class QuestionTextArea(Question):
461	461	stdin=self['answer'],
462	462	timeout=self['timeout']
463	463	)
	464	+
464	465	if type(out) in (int, float):
465	466	self['grade'] = float(out)
466	467
...	...
...	...	@@ -358,7 +358,7 @@ if __name__ == '__main__':
358	358	'/': {
359	359	'tools.sessions.on': True,
360	360	'tools.sessions.timeout': 240, # sessions last 4 hours
361		- 'tools.sessions.storage_type': 'ram', # or 'file'
	361	+ 'tools.sessions.storage_type': 'file', # 'ram' or 'file'
362	362	'tools.sessions.storage_path': 'sessions', # if storage_type='file'
363	363	# tools.sessions.secure = True
364	364	# tools.sessions.httponly = True
...	...