How is the "newest package" implemented server-side? Something seems to be
very wrong. Note that the current patchbot spkg is patchbot-1.2.5.spkg:
[patchbot@volker-desktop sage-5.7.beta2]$ ./sage -f patchbot
Attempting to download package patchbot
>>> Checking online list of optional packages.
[.]
>>> Found patchbot-1.1
>>> Downloading patchbot-1.1.spkg.
[Traceback (most recent call last):
File "<stdin>", line 29, in <module>
File
"/mnt/storage2TB/patchbot/Sage/sage-5.7.beta2/local/lib/python/urllib.py",
line 239, in retrieve
fp = self.open(url, data)
File
"/mnt/storage2TB/patchbot/Sage/sage-5.7.beta2/local/lib/python/urllib.py",
line 207, in open
return getattr(self, name)(url)
File
"/mnt/storage2TB/patchbot/Sage/sage-5.7.beta2/local/lib/python/urllib.py",
line 358, in open_http
return self.http_error(url, fp, errcode, errmsg, headers)
File
"/mnt/storage2TB/patchbot/Sage/sage-5.7.beta2/local/lib/python/urllib.py",
line 375, in http_error
return self.http_error_default(url, fp, errcode, errmsg, headers)
File "<stdin>", line 11, in http_error_default
IOError: [Errno 404] Not Found:
'//www.sagemath.org/packages/optional/patchbot-1.1.spkg'
Error: failed to download package patchbot-1.1
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
