Skip to content

Commit

Permalink
Fix typo
Browse files Browse the repository at this point in the history
  • Loading branch information
jnterry committed Jan 30, 2019
1 parent cb42d81 commit 08f44b3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion source/kernel/src/Kernel.unix.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -159,7 +159,7 @@ namespace {

void sigintHandler(int sig){
if(xke::kernel.state == xke::Kernel::RUNNING){
XenLogInfo("SIGINT intercepted, requesting kernel shutdown\n");
XenLogInfo("SIGINT intercepted, requesting kernel shutdown");
xen::requestKernelShutdown();
} else {
printf("SIGINT intercepted but kernel not running, force quitting\n");
Expand Down

0 comments on commit 08f44b3

Please sign in to comment.