denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

Switch off regulators when closing session

Browse Source
This commit is contained in:
Stefan Kalkowski
2013-06-28 14:24:34 +02:00
parent 717e4dd362
commit acc24b5905
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
os/include/regulator/component.h
View File

@@ -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);
}
/***********************************