##// 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.

File last commit:

r3567:88a0371b
r3860:050a532a merge
Show More
.gitignore
12 lines | 121 B | text/plain | TextLexer
build
./dist
docs/dist
docs/build
docs/_build
docs/source/api/generated
docs/gh-pages
*.py[co]
build
*.egg-info
*~
*.bak