Branch: Tag:

2004-10-11

2004-10-11 14:30:16 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Single source __master_cookie.

Rev: bin/install.pike:1.135
Rev: src/main.c:1.213

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.212 2004/09/30 14:07:19 mast Exp $ + || $Id: main.c,v 1.213 2004/10/11 14:28:17 grubba Exp $   */      #include "global.h"
799:    }else{    back.severity=THROW_EXIT;    +  TRACE((stderr, "Init master cookie...\n")); +  +  push_constant_text(MASTER_COOKIE); +  low_add_constant("__master_cookie", Pike_sp-1); +  pop_stack(); +     TRACE((stderr, "Init modules...\n"));       init_modules();