From d0cede777192037bd21739f7045c53756ce48f31 Mon Sep 17 00:00:00 2001 From: Tobias Schmidl Date: Mon, 21 Sep 2020 08:10:11 +0200 Subject: [PATCH] moved ping.1m+.py --> httping.py --- ping.1m+.py => httping.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename ping.1m+.py => httping.py (98%) diff --git a/ping.1m+.py b/httping.py similarity index 98% rename from ping.1m+.py rename to httping.py index 2d96472..2e4baa6 100755 --- a/ping.1m+.py +++ b/httping.py @@ -9,7 +9,7 @@ # Short description of what your plugin does. # # python,requests -# https://github.com/schtobia/argos-httping/blob/master/ping.1m+.py +# https://github.com/schtobia/argos-httping/blob/master/httping.py import sys #for redirecting print to stderr import datetime #for the whole ms → s and vice versa stuff