Completed the terminate() method

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1948 8c4709b5-6ec9-48aa-a5cd-a96041d1645a

src/experiments/l4-sys/experiment.hpp

@@ -39,6 +39,11 @@ protected:
 	 * @param reason the exit reason, i.e. exit code, passed on to simulator::terminate
 	 */
 	void terminate(int reason);
+	/**
+	 * Frees all resources allocated by this object.
+	 * This function is called by terminate as well as the destructor.
+	 */
+	inline void destroy();
 private:
 	/**
 	 * Sanitises the output string of the serial device monitored.