##// END OF EJS Templates
Backport PR #2511: trigger default remote_profile_dir when profile_dir is set...
Backport PR #2511: trigger default remote_profile_dir when profile_dir is set in SSHLaunchers remote_profile_dir_default could be triggered before profile_dir was set, resulting in an empty remote_profile_dir, causing failures.

File last commit:

r2661:595fc3b9
r9833:0df9d99d
Show More
__init__.py
19 lines | 541 B | text/x-python | PythonLexer
"""
Package for dealing for process execution in a callback environment, in a
portable way.
killable_process.py is a wrapper of subprocess.Popen that allows the
subprocess and its children to be killed in a reliable way, including
under windows.
winprocess.py is required by killable_process.py to kill processes under
windows.
piped_process.py wraps process execution with callbacks to print output,
in a non-blocking way. It can be used to interact with a subprocess in eg
a GUI event loop.
"""
from pipedprocess import PipedProcess