Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 06b97a9c authored by Lucas Nussbaum's avatar Lucas Nussbaum

[dev] rename check-monitoring-properties.rb

parent 4e3ea3fa
......@@ -15,10 +15,9 @@ require 'time'
$LOAD_PATH.unshift(File.expand_path(File.join(File.dirname(__FILE__), '../../lib')))
require 'refrepo/input_loader'
require_relative '../input-validators/yaml-input-schema-validator'
require_relative '../input-validators/check-cluster-homogeneity'
require_relative '../input-validators/check-monitoring-properties'
require 'refrepo/valid/input/schema'
require 'refrepo/valid/homogeneity'
require 'refrepo/valid/input/monitoring'
# Output directory
input_data_dir = "../../input/grid5000/"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment