]> git.tuebingen.mpg.de Git - paraslash.git/commitdiff
server: Get rid of a dead store.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 6 Aug 2017 11:36:51 +0000 (13:36 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 12 Aug 2017 17:22:02 +0000 (19:22 +0200)
We jump to the success label which sets ret no a non-negative value.
Found by the clang static analyzer.


No differences found