5
|
1 |
--- remote.ml.bak 2006-08-11 13:56:20.545272000 +0800
|
|
2 |
+++ remote.ml 2006-08-11 13:57:10.384362000 +0800
|
|
3 |
@@ -902,16 +902,8 @@
|
|
4 |
debug (fun ()-> Util.msg "Shell connection: %s (%s)\n"
|
|
5 |
shellCmd (String.concat ", " args));
|
|
6 |
let term =
|
|
7 |
- (if shellCmdPwd = "" then
|
|
8 |
- match termInteract with
|
|
9 |
- None ->
|
|
10 |
- ignore (Unix.create_process shellCmd argsarray i1 o2 Unix.stderr);
|
|
11 |
- None
|
|
12 |
- | Some callBack ->
|
|
13 |
- fst (Terminal.create_session shellCmd argsarray i1 o2 Unix.stderr)
|
|
14 |
- else
|
|
15 |
fst (Terminal.create_session shellCmd argsarray i1 o2 Unix.stderr)
|
|
16 |
- ) in
|
|
17 |
+ in
|
|
18 |
Unix.close i1; Unix.close o2;
|
|
19 |
(if shellCmdPwd = "" then begin match term, termInteract with
|
|
20 |
| Some fdTerm, Some callBack ->
|