| 53 | | def __init__(self, engine, signals=None): |
|---|
| 54 | | if signals is None: |
|---|
| 55 | | signals = [k for k in dir(_signal) |
|---|
| 56 | | if k.startswith('SIG') and not k.startswith('SIG_')] |
|---|
| 57 | | if not isinstance(signals, dict): |
|---|
| 58 | | signals = dict([(getattr(_signal, k), k) for k in signals]) |
|---|
| 59 | | self.signals = signals |
|---|
| 60 | | |
|---|
| 61 | | self.engine = engine |
|---|
| 62 | | for num in self.signals: |
|---|
| 63 | | self.set_handler(num) |
|---|
| | 53 | def __init__(self, engine): |
|---|
| | 54 | # Make a map from signal numbers to names |
|---|
| | 55 | self.signals = {} |
|---|
| | 56 | for k in dir(_signal): |
|---|
| | 57 | if k.startswith('SIG') and not k.startswith('SIG_'): |
|---|
| | 58 | self.signals[getattr(_signal, k)] = k |
|---|
| | 59 | |
|---|
| | 60 | self.engine = engine |
|---|
