David Anderson b59f0da617 web: if web stopped, get_logged_in_user() should return null (not show error page). ... Otherwise e.g. the home page will be a single line. Must at least show message of the day.		2017-02-08 11:54:40 -08:00
..
inc	web: if web stopped, get_logged_in_user() should return null (not show error page).	2017-02-08 11:54:40 -08:00
languages/translations	Locale: Update localization files [skip ci]	2017-01-31 17:45:12 +01:00
ops	Merge branch 'master' into cpu_infos_aarch64	2017-01-05 13:40:50 -08:00
project.sample	web: fix bug in project prefs; appearance tweaks	2016-12-19 15:47:52 -08:00
user	remote job submission: fix typo	2017-01-30 16:51:31 -08:00
Makefile.am	html:	2014-06-03 09:25:20 +02:00