##// END OF EJS Templates
Merge pull request #429 from minrk/checkpid...
Merge pull request #429 from minrk/checkpid add check_pid, and handle stale PID info in ipcluster. closes gh-428.
Min RK -
r3860:050a532a merge
Show More
Name Size Modified Last Commit Author
/ IPython / parallel
apps
client
controller
engine
scripts
tests
__init__.py Loading ...
error.py Loading ...
factory.py Loading ...
streamsession.py Loading ...
util.py Loading ...