libexec/lib/src/external_pager.cc | raw changeset files shortlog |
1.1 --- a/libexec/lib/src/external_pager.cc Fri Feb 17 18:39:43 2023 +0100 1.2 +++ b/libexec/lib/src/external_pager.cc Fri Feb 17 18:41:18 2023 +0100 1.3 @@ -163,7 +163,9 @@ 1.4 1.5 long ExternalPager::signal(unsigned long sig, unsigned long val) 1.6 { 1.7 - printf("Signal %ld with value %ld received.\n", sig, val); 1.8 + if (_notifier != NULL) 1.9 + _notifier->notify(NOTIFY_TASK_SIGNAL); 1.10 + 1.11 return L4_EOK; 1.12 } 1.13