# HG changeset patch
# User Yi Qiang <yqiang@gmail.com>
# Date 1211866654 25200
# Node ID a38c2f57fafde8d764dd935943ab2d71421de5cd
# Parent 885f800e91d8ebe13e3af24ca31eeb4b94672bbe
[mq]: 3311_dsage_setup.patch
diff -r 885f800e91d8 -r a38c2f57fafd sage/dsage/dsage.py
|
a
|
b
|
|
| 28 | 28 | from getpass import getuser |
| 29 | 29 | import time |
| 30 | 30 | import tempfile |
| 31 | | |
| | 31 | import sys |
| 32 | 32 | import sage.interfaces.cleaner |
| 33 | 33 | from sage.misc.all import SAGE_ROOT |
| 34 | 34 | from sage.dsage.misc.constants import (DSAGE_DIR, SERVER_LOG, WORKER_LOG, |
| … |
… |
|
| 36 | 36 | from sage.dsage.misc.config import check_dsage_dir |
| 37 | 37 | from sage.dsage.misc.misc import find_open_port |
| 38 | 38 | import sage.plot.plot |
| | 39 | |
| | 40 | sys.path.append(os.path.join(SAGE_ROOT, 'local/bin')) |
| 39 | 41 | |
| 40 | 42 | def spawn(cmd, verbose=True, stdout=None, stdin=None): |
| 41 | 43 | """ |