Alexey Ivanov | cc01a9c | 2019-01-16 09:50:46 -0800 | [diff] [blame] | 1 | #!/usr/bin/python |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 2 | # @lint-avoid-python-3-compatibility-imports |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 3 | # |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 4 | # hardirqs Summarize hard IRQ (interrupt) event time. |
| 5 | # For Linux, uses BCC, eBPF. |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 6 | # |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 7 | # USAGE: hardirqs [-h] [-T] [-N] [-C] [-d] [-c CPU] [interval] [outputs] |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 8 | # |
| 9 | # Thanks Amer Ather for help understanding irq behavior. |
| 10 | # |
| 11 | # Copyright (c) 2015 Brendan Gregg. |
| 12 | # Licensed under the Apache License, Version 2.0 (the "License") |
| 13 | # |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 14 | # 19-Oct-2015 Brendan Gregg Created this. |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 15 | # 22-May-2021 Hengqi Chen Migrated to kernel tracepoints. |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 16 | # 07-Mar-2022 Rocky Xing Added CPU filter support. |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 17 | |
| 18 | from __future__ import print_function |
| 19 | from bcc import BPF |
| 20 | from time import sleep, strftime |
| 21 | import argparse |
| 22 | |
Sasha Goldshtein | f41ae86 | 2016-10-19 01:14:30 +0300 | [diff] [blame] | 23 | # arguments |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 24 | examples = """examples: |
| 25 | ./hardirqs # sum hard irq event time |
| 26 | ./hardirqs -d # show hard irq event time as histograms |
| 27 | ./hardirqs 1 10 # print 1 second summaries, 10 times |
| 28 | ./hardirqs -NT 1 # 1s summaries, nanoseconds, and timestamps |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 29 | ./hardirqs -c 1 # sum hard irq event time on CPU 1 only |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 30 | """ |
| 31 | parser = argparse.ArgumentParser( |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 32 | description="Summarize hard irq event time as histograms", |
| 33 | formatter_class=argparse.RawDescriptionHelpFormatter, |
| 34 | epilog=examples) |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 35 | parser.add_argument("-T", "--timestamp", action="store_true", |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 36 | help="include timestamp on output") |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 37 | parser.add_argument("-N", "--nanoseconds", action="store_true", |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 38 | help="output in nanoseconds") |
Brendan Gregg | c32b845 | 2017-11-26 23:38:32 -0800 | [diff] [blame] | 39 | parser.add_argument("-C", "--count", action="store_true", |
| 40 | help="show event counts instead of timing") |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 41 | parser.add_argument("-d", "--dist", action="store_true", |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 42 | help="show distributions as histograms") |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 43 | parser.add_argument("-c", "--cpu", type=int, |
| 44 | help="trace this CPU only") |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 45 | parser.add_argument("interval", nargs="?", default=99999999, |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 46 | help="output interval, in seconds") |
Brendan Gregg | c32b845 | 2017-11-26 23:38:32 -0800 | [diff] [blame] | 47 | parser.add_argument("outputs", nargs="?", default=99999999, |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 48 | help="number of outputs") |
Nathan Scott | cf0792f | 2018-02-02 16:56:50 +1100 | [diff] [blame] | 49 | parser.add_argument("--ebpf", action="store_true", |
| 50 | help=argparse.SUPPRESS) |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 51 | args = parser.parse_args() |
Brendan Gregg | c32b845 | 2017-11-26 23:38:32 -0800 | [diff] [blame] | 52 | countdown = int(args.outputs) |
| 53 | if args.count and (args.dist or args.nanoseconds): |
| 54 | print("The --count option can't be used with time-based options") |
| 55 | exit() |
| 56 | if args.count: |
| 57 | factor = 1 |
| 58 | label = "count" |
| 59 | elif args.nanoseconds: |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 60 | factor = 1 |
| 61 | label = "nsecs" |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 62 | else: |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 63 | factor = 1000 |
| 64 | label = "usecs" |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 65 | debug = 0 |
| 66 | |
Sasha Goldshtein | f41ae86 | 2016-10-19 01:14:30 +0300 | [diff] [blame] | 67 | # define BPF program |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 68 | bpf_text = """ |
| 69 | #include <uapi/linux/ptrace.h> |
| 70 | #include <linux/irq.h> |
| 71 | #include <linux/irqdesc.h> |
| 72 | #include <linux/interrupt.h> |
| 73 | |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 74 | // Add cpu_id as part of key for irq entry event to handle the case which irq |
| 75 | // is triggered while idle thread(swapper/x, tid=0) for each cpu core. |
| 76 | // Please see more detail at pull request #2804, #3733. |
| 77 | typedef struct entry_key { |
| 78 | u32 tid; |
| 79 | u32 cpu_id; |
| 80 | } entry_key_t; |
| 81 | |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 82 | typedef struct irq_key { |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 83 | char name[32]; |
| 84 | u64 slot; |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 85 | } irq_key_t; |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 86 | |
| 87 | typedef struct irq_name { |
| 88 | char name[32]; |
| 89 | } irq_name_t; |
| 90 | |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 91 | BPF_HASH(start, entry_key_t); |
| 92 | BPF_HASH(irqnames, entry_key_t, irq_name_t); |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 93 | BPF_HISTOGRAM(dist, irq_key_t); |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 94 | """ |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 95 | |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 96 | bpf_text_count = """ |
| 97 | TRACEPOINT_PROBE(irq, irq_handler_entry) |
Brendan Gregg | c32b845 | 2017-11-26 23:38:32 -0800 | [diff] [blame] | 98 | { |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 99 | struct entry_key key = {}; |
Ism Hong | 814c264 | 2021-12-06 11:28:34 +0800 | [diff] [blame] | 100 | irq_name_t name = {}; |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 101 | u32 cpu = bpf_get_smp_processor_id(); |
| 102 | |
| 103 | FILTER_CPU |
Ism Hong | 814c264 | 2021-12-06 11:28:34 +0800 | [diff] [blame] | 104 | |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 105 | key.tid = bpf_get_current_pid_tgid(); |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 106 | key.cpu_id = cpu; |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 107 | |
Ism Hong | 814c264 | 2021-12-06 11:28:34 +0800 | [diff] [blame] | 108 | TP_DATA_LOC_READ_STR(&name.name, name, sizeof(name)); |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 109 | irqnames.update(&key, &name); |
Ism Hong | 814c264 | 2021-12-06 11:28:34 +0800 | [diff] [blame] | 110 | return 0; |
| 111 | } |
| 112 | |
| 113 | TRACEPOINT_PROBE(irq, irq_handler_exit) |
| 114 | { |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 115 | struct entry_key key = {}; |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 116 | u32 cpu = bpf_get_smp_processor_id(); |
| 117 | |
| 118 | FILTER_CPU |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 119 | |
| 120 | key.tid = bpf_get_current_pid_tgid(); |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 121 | key.cpu_id = cpu; |
Ism Hong | 814c264 | 2021-12-06 11:28:34 +0800 | [diff] [blame] | 122 | |
| 123 | // check ret value of irq handler is not IRQ_NONE to make sure |
| 124 | // the current event belong to this irq handler |
| 125 | if (args->ret != IRQ_NONE) { |
| 126 | irq_name_t *namep; |
| 127 | |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 128 | namep = irqnames.lookup(&key); |
Ism Hong | 814c264 | 2021-12-06 11:28:34 +0800 | [diff] [blame] | 129 | if (namep == 0) { |
| 130 | return 0; // missed irq name |
| 131 | } |
| 132 | char *name = (char *)namep->name; |
| 133 | irq_key_t key = {.slot = 0 /* ignore */}; |
| 134 | |
| 135 | bpf_probe_read_kernel(&key.name, sizeof(key.name), name); |
| 136 | dist.atomic_increment(key); |
| 137 | } |
| 138 | |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 139 | irqnames.delete(&key); |
Brendan Gregg | c32b845 | 2017-11-26 23:38:32 -0800 | [diff] [blame] | 140 | return 0; |
| 141 | } |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 142 | """ |
Brendan Gregg | c32b845 | 2017-11-26 23:38:32 -0800 | [diff] [blame] | 143 | |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 144 | bpf_text_time = """ |
| 145 | TRACEPOINT_PROBE(irq, irq_handler_entry) |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 146 | { |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 147 | u64 ts = bpf_ktime_get_ns(); |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 148 | irq_name_t name = {}; |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 149 | struct entry_key key = {}; |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 150 | u32 cpu = bpf_get_smp_processor_id(); |
| 151 | |
| 152 | FILTER_CPU |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 153 | |
| 154 | key.tid = bpf_get_current_pid_tgid(); |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 155 | key.cpu_id = cpu; |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 156 | |
Hengqi Chen | 2cffe36 | 2021-11-22 21:54:51 +0800 | [diff] [blame] | 157 | TP_DATA_LOC_READ_STR(&name.name, name, sizeof(name)); |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 158 | irqnames.update(&key, &name); |
| 159 | start.update(&key, &ts); |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 160 | return 0; |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 161 | } |
| 162 | |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 163 | TRACEPOINT_PROBE(irq, irq_handler_exit) |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 164 | { |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 165 | u64 *tsp, delta; |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 166 | irq_name_t *namep; |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 167 | struct entry_key key = {}; |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 168 | u32 cpu = bpf_get_smp_processor_id(); |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 169 | |
| 170 | key.tid = bpf_get_current_pid_tgid(); |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 171 | key.cpu_id = cpu; |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 172 | |
Ism Hong | 814c264 | 2021-12-06 11:28:34 +0800 | [diff] [blame] | 173 | // check ret value of irq handler is not IRQ_NONE to make sure |
| 174 | // the current event belong to this irq handler |
| 175 | if (args->ret != IRQ_NONE) { |
| 176 | // fetch timestamp and calculate delta |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 177 | tsp = start.lookup(&key); |
| 178 | namep = irqnames.lookup(&key); |
Ism Hong | 814c264 | 2021-12-06 11:28:34 +0800 | [diff] [blame] | 179 | if (tsp == 0 || namep == 0) { |
| 180 | return 0; // missed start |
| 181 | } |
| 182 | |
| 183 | char *name = (char *)namep->name; |
| 184 | delta = bpf_ktime_get_ns() - *tsp; |
| 185 | |
| 186 | // store as sum or histogram |
| 187 | STORE |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 188 | } |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 189 | |
Ism Hong | 99bfe8a | 2021-12-08 10:17:20 +0800 | [diff] [blame] | 190 | start.delete(&key); |
| 191 | irqnames.delete(&key); |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 192 | return 0; |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 193 | } |
| 194 | """ |
| 195 | |
Hengqi Chen | e6aa65e | 2021-05-22 16:07:36 +0800 | [diff] [blame] | 196 | if args.count: |
| 197 | bpf_text += bpf_text_count |
| 198 | else: |
| 199 | bpf_text += bpf_text_time |
| 200 | |
Sasha Goldshtein | f41ae86 | 2016-10-19 01:14:30 +0300 | [diff] [blame] | 201 | # code substitutions |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 202 | if args.dist: |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 203 | bpf_text = bpf_text.replace('STORE', |
Kirill Smelkov | f2d125e | 2017-09-25 11:23:03 +0300 | [diff] [blame] | 204 | 'irq_key_t key = {.slot = bpf_log2l(delta / %d)};' % factor + |
Sumanth Korikkar | 7f6066d | 2020-05-20 10:49:56 -0500 | [diff] [blame] | 205 | 'bpf_probe_read_kernel(&key.name, sizeof(key.name), name);' + |
zcy | 80242fb | 2021-07-02 00:12:32 +0800 | [diff] [blame] | 206 | 'dist.atomic_increment(key);') |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 207 | else: |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 208 | bpf_text = bpf_text.replace('STORE', |
| 209 | 'irq_key_t key = {.slot = 0 /* ignore */};' + |
Sumanth Korikkar | 7f6066d | 2020-05-20 10:49:56 -0500 | [diff] [blame] | 210 | 'bpf_probe_read_kernel(&key.name, sizeof(key.name), name);' + |
zcy | 80242fb | 2021-07-02 00:12:32 +0800 | [diff] [blame] | 211 | 'dist.atomic_increment(key, delta);') |
xingfeng2510 | c5baa7b | 2022-03-07 17:35:49 +0800 | [diff] [blame] | 212 | if args.cpu is not None: |
| 213 | bpf_text = bpf_text.replace('FILTER_CPU', |
| 214 | 'if (cpu != %d) { return 0; }' % int(args.cpu)) |
| 215 | else: |
| 216 | bpf_text = bpf_text.replace('FILTER_CPU', '') |
Nathan Scott | cf0792f | 2018-02-02 16:56:50 +1100 | [diff] [blame] | 217 | if debug or args.ebpf: |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 218 | print(bpf_text) |
Nathan Scott | cf0792f | 2018-02-02 16:56:50 +1100 | [diff] [blame] | 219 | if args.ebpf: |
| 220 | exit() |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 221 | |
Sasha Goldshtein | f41ae86 | 2016-10-19 01:14:30 +0300 | [diff] [blame] | 222 | # load BPF program |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 223 | b = BPF(text=bpf_text) |
| 224 | |
Brendan Gregg | c32b845 | 2017-11-26 23:38:32 -0800 | [diff] [blame] | 225 | if args.count: |
Brendan Gregg | c32b845 | 2017-11-26 23:38:32 -0800 | [diff] [blame] | 226 | print("Tracing hard irq events... Hit Ctrl-C to end.") |
| 227 | else: |
Brendan Gregg | c32b845 | 2017-11-26 23:38:32 -0800 | [diff] [blame] | 228 | print("Tracing hard irq event time... Hit Ctrl-C to end.") |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 229 | |
Sasha Goldshtein | f41ae86 | 2016-10-19 01:14:30 +0300 | [diff] [blame] | 230 | # output |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 231 | exiting = 0 if args.interval else 1 |
| 232 | dist = b.get_table("dist") |
| 233 | while (1): |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 234 | try: |
| 235 | sleep(int(args.interval)) |
| 236 | except KeyboardInterrupt: |
| 237 | exiting = 1 |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 238 | |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 239 | print() |
| 240 | if args.timestamp: |
| 241 | print("%-8s\n" % strftime("%H:%M:%S"), end="") |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 242 | |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 243 | if args.dist: |
| 244 | dist.print_log2_hist(label, "hardirq") |
| 245 | else: |
| 246 | print("%-26s %11s" % ("HARDIRQ", "TOTAL_" + label)) |
| 247 | for k, v in sorted(dist.items(), key=lambda dist: dist[1].value): |
jeromemarchand | b96ebcd | 2018-10-10 01:58:15 +0200 | [diff] [blame] | 248 | print("%-26s %11d" % (k.name.decode('utf-8', 'replace'), v.value / factor)) |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 249 | dist.clear() |
Brendan Gregg | 860b649 | 2015-10-20 15:52:23 -0700 | [diff] [blame] | 250 | |
Alexei Starovoitov | bdf0773 | 2016-01-14 10:09:20 -0800 | [diff] [blame] | 251 | countdown -= 1 |
| 252 | if exiting or countdown == 0: |
| 253 | exit() |