view tools/__init__.py @ 59:d0fa4e96a5e4

server side: 404 error is now sent instead of directory listing when requesting a directory
author Goffi <goffi@goffi.org>
date Sun, 29 May 2011 18:39:01 +0200
parents 0110d4e1d816
children
line wrap: on
line source