diff options
author | Austin Morton <austinpmorton@gmail.com> | 2019-05-20 20:50:48 -0400 |
---|---|---|
committer | Austin Morton <austinpmorton@gmail.com> | 2019-05-20 20:59:49 -0400 |
commit | d380de39f039cf23a992b08c506cc200a7cf6292 (patch) | |
tree | 681aa830ee7c657a7bfe2e0c8de92d91e38d19bf /src/firejail/profile.c | |
parent | Create a profile for mp3splt-gtk (diff) | |
download | firejail-d380de39f039cf23a992b08c506cc200a7cf6292.tar.gz firejail-d380de39f039cf23a992b08c506cc200a7cf6292.tar.zst firejail-d380de39f039cf23a992b08c506cc200a7cf6292.zip |
Add deterministic-exit-code option to ensure firejail exits with the first childs exit code regardless of the termination ordering of orphaned children
Diffstat (limited to 'src/firejail/profile.c')
-rw-r--r-- | src/firejail/profile.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/firejail/profile.c b/src/firejail/profile.c index c8619f7e2..55d3cf5b0 100644 --- a/src/firejail/profile.c +++ b/src/firejail/profile.c | |||
@@ -1301,6 +1301,11 @@ int profile_check_line(char *ptr, int lineno, const char *fname) { | |||
1301 | return 0; | 1301 | return 0; |
1302 | } | 1302 | } |
1303 | 1303 | ||
1304 | if (strcmp(ptr, "deterministic-exit-code") == 0) { | ||
1305 | arg_deterministic_exit_code = 1; | ||
1306 | return 0; | ||
1307 | } | ||
1308 | |||
1304 | // rest of filesystem | 1309 | // rest of filesystem |
1305 | if (strncmp(ptr, "blacklist ", 10) == 0) | 1310 | if (strncmp(ptr, "blacklist ", 10) == 0) |
1306 | ptr += 10; | 1311 | ptr += 10; |