Nicola Murino 3925c7ff95 REST API/Web admin: add a parameter to disconnect a user after an update ... This way you can force the user to login again and so to use the updated configuration. A deleted user will be automatically disconnected. Fixes #163 Improved some docs too.		2020-09-01 16:10:26 +02:00
..
base.html	refactor virtual folders	2020-06-07 23:30:18 +02:00
connections.html	web admin: fix Microsoft edge compatibility	2020-06-29 11:46:02 +02:00
folder.html	refactor virtual folders	2020-06-07 23:30:18 +02:00
folders.html	web admin: fix Microsoft edge compatibility	2020-06-29 11:46:02 +02:00
message.html	add a basic web interface	2019-10-07 18:19:01 +02:00
user.html	REST API/Web admin: add a parameter to disconnect a user after an update	2020-09-01 16:10:26 +02:00
users.html	web admin: fix Microsoft edge compatibility	2020-06-29 11:46:02 +02:00