Add CLI-level option to override the priority
authorIustin Pop <iustin@google.com>
Fri, 8 Feb 2013 12:23:50 +0000 (13:23 +0100)
committerIustin Pop <iustin@google.com>
Tue, 12 Feb 2013 13:47:53 +0000 (14:47 +0100)
commite247747c9e701832287bd70a3bd5c67be21a87e5
treea68cea389d7738cd196492dd77fe064ac1bdbfa2
parent37fe56e0b59e6dba6c5715f77823294f99d4fe88
Add CLI-level option to override the priority

This just defined the new priority, with the same name as the Python one.

Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Guido Trotter <ultrotter@google.com>
src/Ganeti/HTools/CLI.hs