File Servelt: avoid null session