From 3151c6034edafb34f11723c7815a1d5fafdb8929 Mon Sep 17 00:00:00 2001 From: Vincent Date: Tue, 9 Jul 2019 09:30:40 +0200 Subject: [PATCH] . --- .idea/workspace.xml | 255 ++++++++++++++++++++---------------------- scripts/lib/lib.php | 52 +-------- scripts/lib/redis.php | 67 ++++++++--- scripts/lib/ssh.php | 66 +++++++++++ servers/cron.php | 7 +- servers/domoticz.php | 20 +--- servers/insteon.php | 19 +--- servers/ssh.php | 26 +++-- 8 files changed, 271 insertions(+), 241 deletions(-) create mode 100644 scripts/lib/ssh.php diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 975a45a..99a7706 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -2,31 +2,14 @@ - - - - + - - - - - - - - - - - - - - + - - + - + - - + + - + - - + + - + - - + + - + - - + + - + - - + + - - + + - - + + @@ -119,8 +102,8 @@ - - + + @@ -128,17 +111,20 @@ - - + + + + + - + - - + + @@ -167,7 +153,6 @@ - #mask hideMaskTimeout bureau/plasma/on #mas @@ -197,6 +182,7 @@ connectRedis() setex( set_time_limit + ssh @@ -227,8 +213,6 @@ @@ -416,9 +402,9 @@ - -