From 36509509bc477e1a10c404aea7d791a7bfa1d894 Mon Sep 17 00:00:00 2001
From: Jermolene <jeremy@jermolene.com>
Date: Fri, 19 Oct 2018 17:25:41 +0100
Subject: [PATCH] Decrease server polling interval

5 * 1000 millseconds, instead of the default 60 * 1000
---
 .../externalpipesdemo/tiddlers/system/SyncPollingInterval.tid   | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 editions/externalpipesdemo/tiddlers/system/SyncPollingInterval.tid

diff --git a/editions/externalpipesdemo/tiddlers/system/SyncPollingInterval.tid b/editions/externalpipesdemo/tiddlers/system/SyncPollingInterval.tid
new file mode 100644
index 000000000..f65dfed6c
--- /dev/null
+++ b/editions/externalpipesdemo/tiddlers/system/SyncPollingInterval.tid
@@ -0,0 +1,2 @@
+title: $:/config/SyncPollingInterval
+text: 5000