From b1c507b2c903675e0059d593cfdfab929f26d487 Mon Sep 17 00:00:00 2001 From: Zhuk Sergey Date: Thu, 10 Oct 2019 13:41:10 +0300 Subject: [PATCH] Restore cursor when interrupting the script. --- php-watcher | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/php-watcher b/php-watcher index d8843e2..5f092b5 100755 --- a/php-watcher +++ b/php-watcher @@ -2,6 +2,11 @@ add($command); $application->setDefaultCommand($command->getName(), true); $application->run(); + +function restore_cursor() { + echo "\033[?25h"; + exit; +}