ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
genode/repos/os/src/server
History
Martin Stein 411601ebd1 input_filter: add missing virtual Source::~Source 
Previously the destructors of classes derived from Source were not
called when destructing a Source because Source missed the declaration
of a virtual destructor. This caused at least problems when
reconstructing a Chargen_source with its Chargen_repeater that includes
a One_shot_timeout. In this case, the members of the Alarm behind the
timeout were not reset and the next time beeing used the Alarm appeared
to be still active which wasn't true.

Fixes #2570
 		2017-11-24 09:02:03 +01:00
..
blk_cache default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
chroot import chroot from world repository 2017-10-05 17:40:04 +02:00
clipboard Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
dynamic_rom Streamline exception types 2017-05-31 13:16:07 +02:00
fs_log VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
fs_report VFS: nonblocking interface 2017-08-28 16:49:38 +02:00
fs_rom fs_rom: trigger deferred ROM-update signal 2017-08-17 10:59:43 +02:00
input_filter input_filter: add missing virtual Source::~Source 2017-11-24 09:02:03 +01:00
input_merger Streamline exception types 2017-05-31 13:16:07 +02:00
iso9660 Streamline exception types 2017-05-31 13:16:07 +02:00
loader Integrate core's RAM service into the PD service 2017-05-31 13:16:14 +02:00
log_report Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
log_terminal Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
lx_fs ram_fs: throw exception when unlinked node gets accessed 2017-11-09 12:18:05 +01:00
mixer Streamline exception types 2017-05-31 13:16:07 +02:00
nic_bridge dhcp: extend options utilities 2017-10-19 13:29:44 +02:00
nic_dump nic_dump: fix bug in packet log 2017-11-06 13:57:24 +01:00
nic_loopback Replace Quota_exceeded by Insufficient_ram_quota 2017-05-31 13:16:05 +02:00
nic_router nic_router: fix bugs in DHCP client functionality 2017-11-06 13:57:24 +01:00
nit_fb nit_fb: support 'origin' attribute 2017-11-06 13:57:18 +01:00
nitpicker nitpicker: update focus report after reconfig 2017-11-09 12:18:42 +01:00
part_blk default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
ram_blk default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
ram_fs ram_fs: throw exception when unlinked node gets accessed 2017-11-09 12:18:05 +01:00
report_rom Streamline exception types 2017-05-31 13:16:07 +02:00
rom_blk default ahci_drv and part_blk Block sessions to read-only 2017-08-28 16:49:51 +02:00
rom_filter rom_filter: expand target buffer on demand 2017-11-06 13:57:18 +01:00
rom_prefetcher Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
tar_rom tar_rom: minor documentation fix 2017-08-28 16:49:37 +02:00
terminal_crosslink terminal_crosslink: prevent deprecated warning 2017-03-15 12:24:43 +01:00
terminal_log terminal_log: carriage-return on newline 2017-08-17 11:04:20 +02:00
trace_fs ram_fs: throw exception when unlinked node gets accessed 2017-11-09 12:18:05 +01:00
tz_vmm base: remove include/spec/* other than ISA 2017-05-31 13:16:01 +02:00
vfs server/vfs: do not append '/' to directory paths 2017-11-09 12:18:05 +01:00
vmm base: remove include/spec/* other than ISA 2017-05-31 13:16:01 +02:00