diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-11-08 10:06:12 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-11-23 19:17:28 -0500 |
| commit | 06d8d842e9de8656d9a46926e7ae7ff967b69ef8 (patch) | |
| tree | fc82c087a4c61599ee5ec633c384583a8a39a7d1 /src/core/main.c | |
| parent | f44b9efcec4594eb8f843325ee3079b44fb8f24a (diff) | |
manager: let manager_free() handle NULLs
This makes the calling code a bit simpler.
Diffstat (limited to 'src/core/main.c')
| -rw-r--r-- | src/core/main.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/core/main.c b/src/core/main.c index 64acdf76e1..b44e7f9cdd 100644 --- a/src/core/main.c +++ b/src/core/main.c @@ -1799,10 +1799,7 @@ int main(int argc, char *argv[]) { finish: pager_close(); - if (m) { - manager_free(m); - m = NULL; - } + m = manager_free(m); for (j = 0; j < ELEMENTSOF(arg_default_rlimit); j++) { free(arg_default_rlimit[j]); |