diff options
| author | GitLab Bot <gitlab-bot@gitlab.com> | 2023-10-12 06:08:54 +0300 |
|---|---|---|
| committer | GitLab Bot <gitlab-bot@gitlab.com> | 2023-10-12 06:08:54 +0300 |
| commit | 129d7ea3db19359600b5e03f0070b8be831b3fee (patch) | |
| tree | 41740325254fef612157bc059474ab3ed2a5a548 /scripts | |
| parent | a4dd029f243d6049cd8fa31408077d52a1c27e57 (diff) | |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/internal_events/monitor.rb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/internal_events/monitor.rb b/scripts/internal_events/monitor.rb index 55811be999b..c7a261f62c3 100644 --- a/scripts/internal_events/monitor.rb +++ b/scripts/internal_events/monitor.rb @@ -153,6 +153,8 @@ begin sleep 1 end +rescue Interrupt + # Quietly shut down ensure print "\e[?1049l" # Restores the original screen buffer print "\e[H" # Moves the cursor home |