From 16e27beaa24c6c551eaa0d3e6d115017939593a1 Mon Sep 17 00:00:00 2001
From: "Suren A. Chilingaryan" <csa@suren.me>
Date: Sun, 25 Aug 2019 06:06:41 +0200
Subject: Support multi-reports

---
 remote/ipe.sh | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100755 remote/ipe.sh

(limited to 'remote/ipe.sh')

diff --git a/remote/ipe.sh b/remote/ipe.sh
deleted file mode 100755
index 8ef7a2a..0000000
--- a/remote/ipe.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#! /bin/bash
-
-. lib/status.sh
-
-function check_ipe { 
-    check "katrin"      "katrin.kit.edu"                "check_server_status <host>"
-    check "ipepdvsrv1"  "ipepdvsrv1.ipe.kit.edu"        "check_server_status <host>"
-    check "ipepdvsrv2"  "ipepdvsrv2.ipe.kit.edu"        "check_server_status <host>"
-    check "ipekatrin1"  "ipekatrin1.ipe.kit.edu"        "check_server_status <host> uptime"
-    check "ipekatrin2"  "ipekatrin2.ipe.kit.edu"        "check_server_status <host> uptime"
-    check "ipekatrin3"  "ipekatrin3.ipe.kit.edu"        "check_server_status <host> uptime"
-}
-
-print "IPE Servers\n" 
-standart_report "check_ipe" " print_table | sed 's/,/,#/g' | column -t -s '#' -o '' | decorate_table"
-- 
cgit v1.2.3