git.annexia.org
/
cocanwiki.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
ded3641
)
Minor fix in -dhost param.
author
rich
<rich>
Mon, 11 Sep 2006 10:01:07 +0000
(10:01 +0000)
committer
rich
<rich>
Mon, 11 Sep 2006 10:01:07 +0000
(10:01 +0000)
tools/copy_host.ml
patch
|
blob
|
history
diff --git
a/tools/copy_host.ml
b/tools/copy_host.ml
index
e1e0a0b
..
e8c27cd
100644
(file)
--- a/
tools/copy_host.ml
+++ b/
tools/copy_host.ml
@@
-3,7
+3,7
@@
*
* Use 'copy_host --help' for usage.
*
*
* Use 'copy_host --help' for usage.
*
- * $Id: copy_host.ml,v 1.
2 2006/09/11 09:58:43
rich Exp $
+ * $Id: copy_host.ml,v 1.
3 2006/09/11 10:01:07
rich Exp $
*)
open Printf
*)
open Printf
@@
-329,7
+329,7
@@
let () =
let dcanonical_hostname, dhostnames =
match dhost with
| [] -> scanonical_hostname, shostnames
let dcanonical_hostname, dhostnames =
match dhost with
| [] -> scanonical_hostname, shostnames
- | x :: xs -> x,
xs
in
+ | x :: xs -> x,
(x :: xs)
in
print_endline "Create new host ...";
print_endline "Create new host ...";