add basic f5 support

2026-07-12 16:06:25 +02:00 · 2015-03-26 22:10:30 -07:00
parent 8512ef74ae
commit 277270e5b7
4 changed files with 21 additions and 0 deletions
@@ -0,0 +1,6 @@
+<?php
+if(!$os || $os === "linux") {
+  $f5_sys_parent = "1.3.6.1.4.1.3375.2.1";
+  if(strpos($sysObjectId, $f5_sys_parent)) { $os = "f5"; }
+}
+?>