From b32dc0a94752f1eb5767c816b0fb122c905fed79 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Fri, 10 Nov 2023 17:04:45 +0100
Subject: [PATCH] Example config for inf.py

---
 inf.server-config.pr | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 inf.server-config.pr

diff --git a/inf.server-config.pr b/inf.server-config.pr
new file mode 100644
index 0000000..4445e04
--- /dev/null
+++ b/inf.server-config.pr
@@ -0,0 +1,9 @@
+<require-service <daemon inf>>
+<daemon inf {
+  argv: "python inf.py"
+  protocol: application/syndicate
+}>
+? <service-object <daemon inf> ?cap> [
+  $cap += =here-is-your-configuration!
+  $cap += =here-is-another-configuration!
+]