407136 @PreDestroy called after Servlet.destroy()

This commit is contained in:
Jan Bartel 2013-05-03 16:17:16 +10:00
parent 58a282d01d
commit e2c217d405
1 changed files with 1 additions and 1 deletions

View File

@ -340,8 +340,8 @@ public class ServletHolder extends Holder<Servlet> implements UserIdentity.Scope
if (o==null)
return;
Servlet servlet = ((Servlet)o);
servlet.destroy();
getServletHandler().destroyServlet(servlet);
servlet.destroy();
}
/* ------------------------------------------------------------ */