[issue13294] http.server - HEAD request when no resource is defined.

2011-11-12 Thread Éric Araujo
Éric Araujo mer...@netwok.org added the comment: Hi Karl, I’m not clear about what problem or need this report describes. Is it a proposition to add a new method for SimpleHTTPRequestHandler to handle HEAD requests? -- nosy: +eric.araujo versions: +Python 3.3 -Python 3.1, Python 3.2

[issue13294] http.server - HEAD request when no resource is defined.

2011-11-12 Thread karl
karl karl+pythonb...@la-grange.net added the comment: Eric, Two possible solutions to explore: Either the HEAD reports exactly the same thing than a GET without the body, because it is the role of the GET, but that means indeed adding support for the HEAD. or creating a catch-all answer

[issue13294] http.server - HEAD request when no resource is defined.

2011-10-30 Thread karl
New submission from karl karl+pythonb...@la-grange.net: A very simple HTTP server #!/usr/bin/python3 import http.server from os import chdir # CONFIG ROOTPATH = '/Your/path/' PORT = 8000 # CODE def run(server_class=http.server.HTTPServer, server_handler=http.server.SimpleHTTPRequestHandler):

[issue13294] http.server - HEAD request when no resource is defined.

2011-10-30 Thread Ezio Melotti
Changes by Ezio Melotti ezio.melo...@gmail.com: -- nosy: +ezio.melotti ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue13294 ___ ___