From acc24b5905be831182b1ad5aead9377191f505d9 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 28 Jun 2013 14:24:34 +0200
Subject: [PATCH] Switch off regulators when closing session

---
 os/include/regulator/component.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/os/include/regulator/component.h b/os/include/regulator/component.h
index f9ae52663..471666507 100644
--- a/os/include/regulator/component.h
+++ b/os/include/regulator/component.h
@@ -46,7 +46,11 @@ class Regulator::Session_component : public Regulator::Session_rpc_object
 		/**
 		 * Destructor
 		 */
-		~Session_component() { _driver_factory.destroy(_driver); }
+		~Session_component()
+		{
+			_driver.state(_id, false);
+			_driver_factory.destroy(_driver);
+		}
 
 
 		/***********************************