Solve minor bug in web script (file was never closed).
@@ -6,8 +6,7 @@ from datetime import datetime
def index():
basepath = path.dirname(path.abspath(__file__))
- f = open(path.join(basepath, 'index.html'), 'r')
-
+ with open(path.join(basepath, 'index.html'), 'r') as f:
return f.read()
def time():
