From 1f7f8d68376dbef7c4355bac070165d4205c3849 Mon Sep 17 00:00:00 2001
From: Dworkowski Florian <florian.dworkowski@psi.ch>
Date: Wed, 11 Nov 2015 14:12:56 +0100
Subject: [PATCH] Configuration change: MjpegSource mic-high

---
 devices/mic-high.properties | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/devices/mic-high.properties b/devices/mic-high.properties
index fe3812e..81d5830 100644
--- a/devices/mic-high.properties
+++ b/devices/mic-high.properties
@@ -1,10 +1,10 @@
-#Wed Nov 11 14:11:43 CET 2015
+#Wed Nov 11 14:12:56 CET 2015
 flipHorizontally=false
 flipVertically=true
 grayscale=false
 invert=false
 pollingBackground=false
-pollingInterval=200
+pollingInterval=250
 rescaleFactor=1.0
 rescaleOffset=0.0
 rotation=0.0