diff --git a/tslint.json b/tslint.json index b95f97c..28941df 100644 --- a/tslint.json +++ b/tslint.json @@ -16,6 +16,7 @@ "curly": true, "eofline": false, "forin": true, + "type-check": true, "indent": [true, "spaces"], "interface-name": [true, "never-prefix"], "jsdoc-format": true, diff --git a/walle_server.py b/walle_server.py index 0426980..56e8667 100644 --- a/walle_server.py +++ b/walle_server.py @@ -7,7 +7,7 @@ import glob import os production = False if os.environ.get('NODE_ENV','') == 'development' else True -xmlDir = 'public/' if production else 'build/' +xmlDir = 'build/' if production else 'public/' @app.route('/') def walle_index():