global name 'base_name' is not defined" at the top of the initial startup page?
-- Alan Mintz <alan_mintz+...@earthlink.net> _______________________________________________ josm-dev mailing list josm-dev@openstreetmap.org http://lists.openstreetmap.org/listinfo/josm-dev
