configure.c

Go to the documentation of this file.

// Copyright (C) 2023 Ethan Uppal. All rights reserved.
 
#include <stdlib.h>
#include "configure.h"
#include "util/arena.h"
 
void ps_teardown(void) {
    for (enum ps_arena_domain domain = 0; domain < __PS_ARENA_COUNT; domain++) {
        ps_arena_close(domain);
    }
}
 
void ps_configure(void) {
    atexit(ps_teardown);
}