git.annexia.org
/
cocanwiki.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Minor fix in -dhost param.
[cocanwiki.git]
/
tools
/
copy_host.ml
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 ...";