Commit 2ffcdfad authored by Simon Marlow's avatar Simon Marlow Committed by Ben Gamari
Browse files

Fatal if we try to reinitialize the RTS

This isn't supported, and fatalling with an error is better than
segfaulting later.

Test Plan: validate

Reviewers: JonCoens, austin, erikd, niteria, bgamari

Reviewed By: niteria, bgamari

Subscribers: thomie

Differential Revision:
parent 4e63e859
......@@ -62,6 +62,7 @@
// Count of how many outstanding hs_init()s there have been.
static int hs_init_count = 0;
static bool rts_shutdown = false;
static void flushStdHandles(void);
......@@ -145,6 +146,10 @@ hs_init_ghc(int *argc, char **argv[], RtsConfig rts_config)
// second and subsequent inits are ignored
if (rts_shutdown) {
errorBelch("hs_init_ghc: reinitializing the RTS after shutdown is not currently supported");
......@@ -338,6 +343,7 @@ hs_exit_(bool wait_foreign)
// ignore until it's the last one
rts_shutdown = true;
/* start timing the shutdown */
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment