#17924: Failure in doctest framework when running in docker
---------------------------------+--------------------------------
Reporter: Vincent.Neri | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.6
Component: doctest framework | Keywords: docker
Merged in: | Authors: Vincent Neri
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
---------------------------------+--------------------------------
In all cases, all tests pass smoothly, except for three files:
sage -t --warn-long 19.5 src/sage/interfaces/qsieve.py # Bad exit: 1
sage -t --warn-long 19.5 local/lib/python2.7/site-
packages/sagenb-0.11.4-py2.7.egg/sagenb/notebook/worksheet.py
# Bad exit: 1
sage -t --warn-long 19.5 local/lib/python2.7/site-
packages/sagenb-0.11.4-py2.7.egg/sagenb/notebook/cell.py
# Bad exit: 1
In all three cases, it's actually the doctesting framework that fails,
at the end of forker.py, where it seems to be a race condition.
Traceback (most recent call last):
File
"/home/sage/sage-6.4.1/local/lib/python/multiprocessing/process.py", line
258, in _bootstrap
self.run()
File "/home/sage/sage-6.4.1/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 1839, in run
task(self.options, self.outtmpfile, msgpipe, self.result_queue)
File "/home/sage/sage-6.4.1/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 2159, in __call__
result_queue.put(result, False)
File
"/home/sage/sage-6.4.1/local/lib/python/multiprocessing/queues.py", line
102, in put
raise Full
Full
Bad exit: 1
--
Ticket URL: <http://trac.sagemath.org/ticket/17924>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" 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-trac.
For more options, visit https://groups.google.com/d/optout.
