diff mod_vjud/mod_vjud.lua @ 1717:e22cd2205fc1

mod_delegation: reset features/identities/extensions before doing a disco nesting
author Goffi <goffi@goffi.org>
date Sat, 18 Apr 2015 00:13:10 +0200
parents 400a7fdd2049
children cf3bdcb633f0
line wrap: on
line diff