diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2011-02-27 18:33:56 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2011-02-27 18:33:56 -0800 |
| commit | 34d59b0b91f09b35b7c3b4e74411f11b8b3994cc (patch) | |
| tree | a721b34849df3243b145ba62b504ed41ab618dbc /src/misc/util/utilSignal.h | |
| parent | 02081dba6779fbd247d1e62d5dc6db2097acc8e7 (diff) | |
| download | abc-34d59b0b91f09b35b7c3b4e74411f11b8b3994cc.tar.gz abc-34d59b0b91f09b35b7c3b4e74411f11b8b3994cc.tar.bz2 abc-34d59b0b91f09b35b7c3b4e74411f11b8b3994cc.zip | |
fixes to pyabc kill mechanism
Diffstat (limited to 'src/misc/util/utilSignal.h')
| -rw-r--r-- | src/misc/util/utilSignal.h | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/misc/util/utilSignal.h b/src/misc/util/utilSignal.h index 30c0ba1d..0ac87290 100644 --- a/src/misc/util/utilSignal.h +++ b/src/misc/util/utilSignal.h @@ -44,14 +44,7 @@ ABC_NAMESPACE_HEADER_START //////////////////////////////////////////////////////////////////////// /*=== utilSignal.c ==========================================================*/ -extern void Util_SignalCleanup(); -extern void Util_SignalStartHandler(); -extern void Util_SignalResetHandler(); -extern void Util_SignalStopHandler(); -extern void Util_SignalBlockSignals(); -extern void Util_SignalUnblockSignals(); -extern void Util_SignalAddChildPid(int pid); -extern void Util_SignalRemoveChildPid(int pid); + extern int Util_SignalTmpFile(const char* prefix, const char* suffix, char** out_name); extern void Util_SignalTmpFileRemove(const char* fname, int fLeave); extern int Util_SignalSystem(const char* cmd); |