Changeset 4047 for monitoring/plugins/mpi/check_clarin_discojuice_json.py

Timestamp:

11/19/13 11:13:07 (11 years ago)

Author:

sanmai

Message:

• Make port_number specified as command line parameter. For simplicity, there is no

default value anymore, for now.

File:

• monitoring/plugins/mpi/check_clarin_discojuice_json.py (modified) (1 diff)

monitoring/plugins/mpi/check_clarin_discojuice_json.py

@@ -8 +8 @@
 special_plugin_file_name = os.path.basename(__file__)
 command_line_parameters = [("-h", "host",),
-                           ("-u", "http_path",)]
+                           ("-u", "http_path",),
+                           ("-p", "port_number",)]
 
 
-def special_main_subroutine(host, http_path) :
+def special_main_subroutine(host, 
+                            http_path,
+                            port_number) :
 
     http_paths = (http_path,)
     
-    # Check status for all http_paths.
+    ## Check status for all http_paths.
     results = \
         map(lambda http_path : generic_tla_monitoring.check_condition(host                      = host,
                                                                       http_path                 = http_path,
                                                                       HTTP_method               = "GET", 
-                                                                      port_number               = 80,
+                                                                      port_number               = port_number,
                                                                       authorize                 = True,
                                                                       validator                 = generic_tla_monitoring.check_JSON_wellformedness,