#17924: Failure in doctest framework when running in docker
-------------------------------------+-------------------------------------
Reporter: Vincent.Neri | Owner:
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.6
Component: doctest framework | Resolution:
Keywords: docker | Merged in:
Authors: Vincent Neri | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/Vincent.Neri/failure_in_doctest_framework_when_running_in_docker|
add3e53a81dafd966b07727d87c3d441e1e2468f
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Or even better, try this:
{{{
diff --git a/src/sage/doctest/forker.py b/src/sage/doctest/forker.py
index fde65c3..d214dc2 100644
--- a/src/sage/doctest/forker.py
+++ b/src/sage/doctest/forker.py
@@ -1538,6 +1538,7 @@ class DocTestDispatcher(SageObject):
# would leave them open until we call
# report(), parallel testing can easily fail
# with a "Too many open files" error.
+ time.sleep(1)
w.save_result_output()
finished.append(w)
workers = new_workers
@@ -2159,5 +2160,6 @@ class DocTestTask(object):
result = (0, DictAsObject(dict(err=exc_info[0], tb=tb)))
if result_queue is not None:
+ print("Process %s writing to %r"%(os.getpid(), result_queue))
result_queue.put(result, False)
return result
}}}
and run
{{{
./sage -bt src/sage/rings/integer.pyx # or whatever test which
normally works
./sage -bt src/sage/interfaces/qsieve.py # or whatever test which
normally fails
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/17924#comment:9>
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.
