equal
deleted
inserted
replaced
628 m = os.path.join(t, "map") |
628 m = os.path.join(t, "map") |
629 if args.has_key('style'): |
629 if args.has_key('style'): |
630 b = os.path.basename("map-" + args['style'][0]) |
630 b = os.path.basename("map-" + args['style'][0]) |
631 p = os.path.join(t, b) |
631 p = os.path.join(t, b) |
632 if os.path.isfile(p): m = p |
632 if os.path.isfile(p): m = p |
633 print m |
|
634 |
633 |
635 port = os.environ["SERVER_PORT"] |
634 port = os.environ["SERVER_PORT"] |
636 port = port != "80" and (":" + port) or "" |
635 port = port != "80" and (":" + port) or "" |
637 uri = os.environ["REQUEST_URI"] |
636 uri = os.environ["REQUEST_URI"] |
638 if "?" in uri: uri = uri.split("?")[0] |
637 if "?" in uri: uri = uri.split("?")[0] |