1 files changed, 6 insertions, 0 deletions
diff --git a/install/ui/ipa.js b/install/ui/ipa.js
index 8a690c984..92cd1dfd3 100644
--- a/install/ui/ipa.js
+++ b/install/ui/ipa.js
@@ -833,6 +833,12 @@ IPA.command = function(spec) {
         return errors;
     };
 
+    that.check_option = function(option_name) {
+
+        var metadata = IPA.get_command_option(that.get_command(), option_name);
+        return metadata !== null;
+    };
+
     that.to_json = function() {
         var json = {};