rephrase to remove overfull hbox

[msc-thesis1617.git] / arch.example.tex

diff --git a/arch.example.tex b/arch.example.tex
index 0a05087..c905ead 100644 (file)
--- 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