From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 3 Jul 2017 14:55:27 +0000 (+0200)
Subject: fix example
X-Git-Tag: hand-in~8
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=a95fdc018be35e537f6acdaef15863395c15170b;p=msc-thesis1617.git

fix example
---

diff --git a/arch.example.tex b/arch.example.tex
index 0a05087..c905ead 100644
--- a/arch.example.tex
+++ b/arch.example.tex
@@ -39,7 +39,7 @@ thermos =           makeDevice "nodeM" nodeMCU >>= connectDevice
 	>>= \stm->      sendTaskToDevice "sensing" sensing (nod, OnInterval 1000)
 	>>= \(st, [t])->sendTaskToDevice "acting" acting (stm, OnInterval 1000)
 			(\(BCValue s)->set (BCValue $ dynInt (dynamic s) > 0) (shareShare nod a))
-	>>| treturn ()
+	>>* [OnAction (Action "Shutdown") $ always $ deleteDevice nod >>| deleteDevice stm >>| shutDown 0]
 where
 	dynInt :: Dynamic -> Int
 	dynInt (a :: Int) = a