deblan-mirror/h-m-m
deblan-mirror/h-m-m
1
0
Fork 0
mirror of https://github.com/nadrad/h-m-m.git synced 2024-06-28 06:50:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

removed pcntl

Browse source
This commit is contained in:
nadrad 2022-09-18 11:25:49 +02:00
parent b036cdd97f
commit 7a7b412439
2 changed files with 6 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Dockerfile
View file

@ -8,8 +8,8 @@ RUN apt-get update \
&& apt-get install -y --no-install-recommends \ && apt-get install -y --no-install-recommends \
libonig-dev xclip xsel wl-clipboard libonig-dev xclip xsel wl-clipboard
RUN docker-php-ext-install pcntl mbstring RUN docker-php-ext-install mbstring
RUN chmod +x h-m-m RUN chmod +x h-m-m
CMD ["./h-m-m"] CMD ["./h-m-m"]

20
h-m-m
View file

@ -159,13 +159,6 @@ const collapsed_symbol_off = "\033[0m";
function check_required_extensions(): bool function check_required_extensions(): bool
{ {
if (!function_exists('pcntl_signal'))
{
echo 'Required extension pcntl is not enabled; please check your php installation!';
echo PHP_EOL;
return false;
}
if (!function_exists('mb_strlen')) if (!function_exists('mb_strlen'))
{ {
echo 'Required extension mbstring is not enabled; please check your php installation!'; echo 'Required extension mbstring is not enabled; please check your php installation!';
@ -202,7 +195,7 @@ function check_the_available_clipboard_tool(&$mm)
if (trim($tool)==='') if (trim($tool)==='')
{ {
echo "Can't find your clipboard tool! I expected to find xclip, xsel, or wl-clipboard.\n"; echo "Can't find your clipboard tool! I expected to find xclip, xsel, or wl-clipboard.\n";
exit; shutdown();
} }
switch ($tool) switch ($tool)
@ -224,7 +217,7 @@ function check_the_available_clipboard_tool(&$mm)
default: default:
echo "I can't find your clipboard tool!\n"; echo "I can't find your clipboard tool!\n";
exit; shutdown();
} }
} }
@ -244,11 +237,6 @@ function shutdown()
if (false === check_required_extensions()) if (false === check_required_extensions())
return 1; return 1;
register_shutdown_function("shutdown");
declare(ticks = 1);
pcntl_signal(SIGINT,"shutdown");
function set_up_screen() function set_up_screen()
{ {
@ -1776,7 +1764,7 @@ function message(&$mm, $text)
function quit(&$mm) function quit(&$mm)
{ {
if (($mm['modified'] ?? false) === false) exit; if (($mm['modified'] ?? false) === false) shutdown();
message($mm, "You have unsaved changes. Save them, or use shift+Q to quit without saving."); message($mm, "You have unsaved changes. Save them, or use shift+Q to quit without saving.");
} }
@ -2647,7 +2635,7 @@ function monitor_key_presses(&$mm)
case ctrl_p: append($mm); break; case ctrl_p: append($mm); break;
case 'q': quit($mm); break; case 'q': quit($mm); break;
case 'Q': exit; break; case 'Q': shutdown(); break;
case ctrl_r: redo($mm); break; case ctrl_r: redo($mm); break;