Mike Fellows fabf3f2fc2 Add an option to allow redirect of http port 80 to https. (#1928) ... * Add an option to allow redirect of http port 80 to https. This is an "opt in" option (default is to not redirect). It will only redirect if protocol is https and the new REDIRECT_PORT_80 option is set to true. The Port to redirect in previous commit was hardcoded to 80, now it can be specified in the app.ini, defaulting to 80. The boolean option to turn redirection on has been changed to REDIRECT_OTHER_PORT to be logically consistent with the new port option. Signed-off-by: Mike Fellows <mike.fellows@shaw.ca>		2017-12-25 23:23:43 +01:00
..
admin.go	Only update needed columns when update user (#2296)	2017-08-12 22:18:44 +08:00
cert.go	Cleanup log messaging	2017-02-02 15:24:18 +01:00
dump.go	Set session and indexers' data files rel to AppDataPath (#2192)	2017-11-03 10:56:20 +02:00
hook.go	improve force push detect when push (#2798)	2017-10-28 22:36:20 +03:00
serv.go	Improvements for supporting UI Location (#3146)	2017-12-14 07:45:31 +08:00
web_graceful.go	refactor: show command help message. (#1486)	2017-04-12 15:44:54 +08:00
web_windows.go	fix windows build broken by #416	2016-12-31 17:16:02 +08:00
web.go	Add an option to allow redirect of http port 80 to https. (#1928)	2017-12-25 23:23:43 +01:00