Allow modify_etc_hosts to be changed
authorMichele Tartara <mtartara@google.com>
Fri, 12 Jul 2013 12:15:34 +0000 (12:15 +0000)
committerMichele Tartara <mtartara@google.com>
Mon, 15 Jul 2013 09:10:30 +0000 (09:10 +0000)
commit75f2ff7ddcbaf1b1dc2a7b6cc303d0f880d5d12a
tree98b3cfc6e0190804f858ea2d8bcbeade2b5a2784
parentc89db623e421b3760d70037716a53a657d682af4
Allow modify_etc_hosts to be changed

The modify_etc_hosts options, enabling the cluster to modify the /etc/hosts
files of nodes, and to keep them in sync, could only be set at cluster init
time.

With this commit it can now be changed through modify_etc_hosts as well.

Fixes Issue 206.

Signed-off-by: Michele Tartara <mtartara@google.com>
Reviewed-by: Helga Velroyen <helgav@google.com>
lib/client/gnt_cluster.py
lib/cmdlib/cluster.py
lib/opcodes.py
src/Ganeti/OpCodes.hs
src/Ganeti/OpParams.hs
test/hs/Test/Ganeti/OpCodes.hs