Add additional keywords to OpenVPN lens:

up plugin ping ping-restart ping-timer-rem
hercules-team · Mar 30, 2015 · 6907959 · 6907959
1 parent be4a905
commit 6907959
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/lenses/openvpn.aug b/lenses/openvpn.aug
@@ -66,6 +66,9 @@ let empty   = Util.empty
  *   - ns-cert-type => "server"
  *   - resolv-retry => "infinite"
  *   - script-security => [0-3] (execve|system)?
+ *   - ping => num
+ *   - ping-restart => num
+ *   - up => filename
  *************************************************************************)
 
 let single_ip  = "local"
@@ -75,6 +78,8 @@ let single_num = "port"
 	       | "mute"
                | "fragment"
                | "mssfix"
+               | "ping"
+               | "ping-restart"
 let single_fn  = "ca"
                | "cert"
 	       | "key"
@@ -85,6 +90,7 @@ let single_fn  = "ca"
 	       | "log"
 	       | "log-append"
 	       | "client-config-dir"
+	       | "up"
 let single_an  = "user"
                | "group"
 
@@ -119,6 +125,7 @@ let single     = single_entry single_num num_re
  *   - mute-replay-warnings
  *   - http-proxy-retry
  *   - daemon
+ *   - ping-timer-rem
  *
  *************************************************************************)
 
@@ -133,6 +140,7 @@ let flag_words = "client-to-client"
 	       | "mute-replay-warnings"
 	       | "http-proxy-retry"
 	       | "daemon"
+	       | "ping-timer-rem"
 
 let flag_entry (kw:regexp)
                = [ key kw . comment_or_eol ]
@@ -151,6 +159,7 @@ let flag       = flag_entry flag_words
  *   - tls-auth      => filename [01]
  *   - remote        => hostname/IP num
  *   - management    => IP num filename
+ *   - plugin        => filename filename
  *
  *************************************************************************)
 
@@ -203,6 +212,10 @@ let management    = [ key "management" . sep
                     . [ label "pwfile" . filename       ] . comment_or_eol
                     ]
 
+let plugin        = [ key "plugin" . sep
+                    . [ label "module"        . filename ] . sep
+                    . [ label "initstring"    . filename ] . comment_or_eol
+                    ]
 
 let other         = server
                   | server_bridge
@@ -213,6 +226,7 @@ let other         = server
 		  | remote
 		  | http_proxy
 		  | management
+		  | plugin
 
 
 (************************************************************************