equal
deleted
inserted
replaced
1098 p_name = os.path.join(p, name) |
1098 p_name = os.path.join(p, name) |
1099 if os.path.exists(p_name): |
1099 if os.path.exists(p_name): |
1100 return p_name |
1100 return p_name |
1101 return default |
1101 return default |
1102 |
1102 |
|
1103 def set_signal_handler(): |
|
1104 pass |
|
1105 |
1103 def find_exe(name, default=None): |
1106 def find_exe(name, default=None): |
1104 '''find path of an executable. |
1107 '''find path of an executable. |
1105 if name contains a path component, return it as is. otherwise, |
1108 if name contains a path component, return it as is. otherwise, |
1106 use normal executable search path.''' |
1109 use normal executable search path.''' |
1107 |
1110 |