diff options
Diffstat (limited to 'source/exit.c')
-rw-r--r-- | source/exit.c | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/source/exit.c b/source/exit.c new file mode 100644 index 0000000..b34d91c --- /dev/null +++ b/source/exit.c @@ -0,0 +1,36 @@ +/* + Copyright 2022-2023 Gabriel Bjørnager Jensen. + + This file is part of agbsum. + + agbsum is free software: you can redistribute it + and/or modify it under the terms of the GNU + Affero General Public License as published by + the Free Software Foundation, either version 3 + of the License, or (at your option) any later + version. + + agbsum is distributed in the hope that it will + be useful, but WITHOUT ANY WARRANTY; without + even the implied warranty of MERCHANTABILITY + or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU Affero General Public License for more + details. + + You should have received a copy of the GNU + Affero General Public License along with agbsum. + If not, see <https://www.gnu.org/licenses/>. +*/ + +#include <agbsum.h> + +#include <stdio.h> +#include <stdlib.h> + +noreturn void +agb_exit (enum agb_Condition const condition, FILE* restrict image) +{ + if (image != NULL) { fclose (image); } + + exit (condition == agb_Cnd_Ok ? EXIT_SUCCESS : EXIT_FAILURE); +} |