diff options
author | Campbell Barton <ideasman42@gmail.com> | 2013-01-11 07:26:49 +0400 |
---|---|---|
committer | Campbell Barton <ideasman42@gmail.com> | 2013-01-11 07:26:49 +0400 |
commit | d0569dd68ed116b6d1998c9712875c6abafa1875 (patch) | |
tree | 2c3cc5f041b7c8c8649a8fe48bb3716f7bf8cfcd /source/creator | |
parent | 4d7583b66f083d2b7278653016365e20f22e6d57 (diff) |
win32 has no kill, force crash for now, perhaps windows devs can do this more correctly.
Diffstat (limited to 'source/creator')
-rw-r--r-- | source/creator/creator.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/source/creator/creator.c b/source/creator/creator.c index ac0508ac10d..4a2274180e7 100644 --- a/source/creator/creator.c +++ b/source/creator/creator.c @@ -531,7 +531,12 @@ static void blender_crash_handler(int signum) /* really crash */ signal(signum, SIG_DFL); +#ifndef WIN32 kill(getpid(), signum); +#else + /* force crash on windows for now */ + *((void **)NULL) = NULL; +#endif } |