113:2fecc3d7e58e
Anton Shestakov <av6@dwimlabs.net>, Thu, 07 Apr 2016 23:00:45 +0800
index: don't reload the page via href="" on log out Looks like sometimes page reloads before client can disconnect properly.

/contrib/provision/roles/common/

.. drwxr-xr-x
defaults/ drwxr-xr-x files
files/ etc/apt/apt.conf.d drwxr-xr-x files
handlers/ drwxr-xr-x files
tasks/ drwxr-xr-x files
templates/ etc drwxr-xr-x files