X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Fmtask_aux.tex;h=74273a49d6841124ac3bb721796b85fd8ea4389b;hb=6e1620de7fd37b567a1b52b022ed43ab5dfa9015;hp=019e0cf58ffbd762b40d72266753bd5491038042;hpb=4c449b205b49b4773934bd5cfd22e0f15e199eeb;p=phd-thesis.git

diff --git a/appx/mtask_aux.tex b/appx/mtask_aux.tex
index 019e0cf..74273a4 100644
--- a/appx/mtask_aux.tex
+++ b/appx/mtask_aux.tex
@@ -2,8 +2,11 @@
 
 \input{subfilepreamble}
 
+\setcounter{chapter}{1}
+
 \begin{document}
 \input{subfileprefix}
+\ifSubfilesClassLoaded{\appendix}{}
 \chapter{Auxiliary \texorpdfstring{\glsentrytext{MTASK}}{mTask} type classes}%
 \label{chp:mtask_aux}
 \lstset{basicstyle=\tt\footnotesize}
@@ -135,39 +138,25 @@ class LEDMatrix v where
 \subsection{Connection types}\label{lst:connection_types}
 \begin{lstClean}[caption={}]
 :: TCPSettings =
-	{ host :: String
-	//** host name
-	, port :: Int
-	//** port number
+	{ host        :: String
+	, port        :: Int
 	, pingTimeout :: ?Int
-	//** Require a ping signal every so many seconds
 	}
 :: MQTTSettings = 
-	{ host  :: String
-	//** Host name
-	, port  :: Int
-	//** Port number
-	, mcuId :: String
-	//** Identifier for the device
+	{ host     :: String
+	, port     :: Int
+	, mcuId    :: String
 	, serverId :: String
-	//** Identifier for the server
-	, auth :: MQTTAuth
-	//** Authentication type
+	, auth     :: MQTTAuth
 	}
 :: TTYSettings = {
 		devicePath :: String,
-		//* Path of the device, e.g. /dev/ttyACM0
-		baudrate :: BaudRate,
-		//* Baudrate
-		bytesize :: ByteSize,
-		//* Parity
-		parity :: Parity,
-		//* stop2bits
-		stop2bits :: Bool,
-		//* xonxoff flow control
-		xonxoff :: Bool,
-		//* Time in seconds to wait after opening the devices. Set this to 2 if you want to connect to a borked arduino
-		sleepTime :: Int
+		baudrate   :: BaudRate,
+		bytesize   :: ByteSize,
+		parity     :: Parity,
+		stop2bits  :: Bool,
+		xonxoff    :: Bool,
+		sleepTime  :: Int
 	}
 \end{lstClean}