equal
deleted
inserted
replaced
44 f:write("-- End of traceback --\n"); |
44 f:write("-- End of traceback --\n"); |
45 f:close(); |
45 f:close(); |
46 count = count + 1; |
46 count = count + 1; |
47 end |
47 end |
48 |
48 |
49 local mod_posix = module:depends("posix"); |
49 module:hook("signal/"..signal_name, dump_traceback); |
50 if rawget(mod_posix, "features") and mod_posix.features.signal_events then |
|
51 module:hook("signal/"..signal_name, dump_traceback); |
|
52 else |
|
53 require"util.signal".signal(signal_name, dump_traceback); |
|
54 end |
|