CWI moved websites around without me knowing it, and together with

a bug in urllib2 this caused pimp to stop working. Fixed the URL to
make it work again.
This commit is contained in:
Jack Jansen 2003-05-02 20:27:40 +00:00
parent 834f463948
commit 4f45011af2

View file

@ -43,7 +43,7 @@ DEFAULT_FLAVORORDER=['source', 'binary']
DEFAULT_DOWNLOADDIR='/tmp'
DEFAULT_BUILDDIR='/tmp'
DEFAULT_INSTALLDIR=distutils.sysconfig.get_python_lib()
DEFAULT_PIMPDATABASE="http://www.cwi.nl/~jack/pimp/pimp-%s.plist" % distutils.util.get_platform()
DEFAULT_PIMPDATABASE="http://homepages.cwi.nl/~jack/pimp/pimp-%s.plist" % distutils.util.get_platform()
def _cmd(output, dir, *cmditems):
"""Internal routine to run a shell command in a given directory."""