From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 6 Dec 2019 23:51:52 +0000 (+0000)
Subject: pubkeys: Provide ability to add extra action to KEYWORD
X-Git-Tag: v0.6.0~193
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=47a24790846effa60185449c337e035adb857893;p=secnet.git

pubkeys: Provide ability to add extra action to KEYWORD

Nothing uses this yet.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/pubkeys.fl.pl b/pubkeys.fl.pl
index 19af65e..b89d191 100755
--- a/pubkeys.fl.pl
+++ b/pubkeys.fl.pl
@@ -73,12 +73,14 @@ sub inst ($) {
 
 while (<DATA>) {
     s#\{!2(\w+)\}# '{'.(2 * ($subst{$1}//die "$1 ?")).'}' #ge;
-    if (m/^!KEYWORD ([-0-9a-z]+)$/) {
+    if (m/^!KEYWORD ([-0-9a-z]+)(\s*\{.*\})?$/) {
+	my $kwt=$2;
 	die if $kw;
 	$kw = $1;
+	my $xact = $3 // '';
 	$kwid = $kw; $kwid =~ y/-/_/;
 	$in_s = "HK_${kwid}";
-	$co .= "{L}$kw { BEGIN($in_s); }\n";
+	$co .= "{L}$kwt { BEGIN($in_s); $xact }\n";
 	next;
     }
     if (m/^!ARG (\w+) (\S.*\S) \{\s*$/) {