X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=arch.example.tex;h=c905ead0a23eaca28605d476d771df59610c2bf7;hb=1a485d8cb25f32306de56dcdf1305599aadbb909;hp=0a05087ae01dfe500d6b3a81e682bf1197a9532c;hpb=7b82824c3f3af1d6bc2d9824aae2cc2979ca8180;p=msc-thesis1617.git

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