From 0b81e70f6310989ce4016d95b66f73b9aa1a594a Mon Sep 17 00:00:00 2001 From: Alon Levy Date: Sun, 11 Jan 2015 16:41:05 +0200 Subject: server: add index.html->index redirect, Fixes #218 --- src/server/rz_server.py | 1 + 1 file changed, 1 insertion(+) (limited to 'src/server') diff --git a/src/server/rz_server.py b/src/server/rz_server.py index 7e2110ef..569eb7e3 100644 --- a/src/server/rz_server.py +++ b/src/server/rz_server.py @@ -186,6 +186,7 @@ def init_rest_interface(cfg, flask_webapp): rest_entry_set = [ redirect_entry('/', '/index', {'methods': ['GET']}), + redirect_entry('/index.html', '/index', {'methods': ['GET']}), rest_entry('/add/node-set' , rz_api.add_node_set), rest_entry('/graph/clone', rz_api.rz_clone), rest_entry('/graph/diff-commit-set', rz_api.diff_commit__set), -- cgit v1.3.1