pike.git/ src/ main.c

2010-08-26

2010-08-26 14:17:24 by Martin Stjernholm <mast@lysator.liu.se>

• a1ed503080dc445df997771802a56f67fd3bb0d8 (5 lines) (+3/-2) ^{[ Show | Annotate ]}
  Branch: 7.9

Don't report error when thread->kill() is used on the main thread.

Rev: src/main.c:1.242

2:   || This file is part of Pike. For copyright information see COPYRIGHT.   || Pike is distributed under GPL, LGPL and MPL. See the file COPYING   || for more information. - || $Id: main.c,v 1.241 2010/06/23 16:22:54 grubba Exp $ + || $Id: main.c,v 1.242 2010/08/26 14:17:24 mast Exp $   */      #include "global.h"
617:       if(SETJMP(back))    { -  if(throw_severity == THROW_EXIT) +  if(throw_severity == THROW_EXIT || throw_severity == THROW_THREAD_EXIT)    {    num=throw_value.u.integer;    }else{