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

2011-11-12 Thread karl
karl 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 for all unknown or not implement

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

2011-11-12 Thread Éric Araujo
Éric Araujo 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-10-30 Thread Ezio Melotti
Changes by Ezio Melotti : -- nosy: +ezio.melotti ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.py

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

2011-10-30 Thread karl
New submission from karl : 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): server_address = ('', POR