]> git.pond.sub.org Git - empserver/commit
projects / empserver / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e24049) | patch
ef_verify: Require ship glim != 0 with capability dchrg
authorMarkus Armbruster <armbru@pond.sub.org>
Sat, 21 Feb 2015 17:12:07 +0000 (18:12 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Mon, 2 Mar 2015 07:20:52 +0000 (08:20 +0100)
commitc3a26dc8994810e5aaf0b4141c7a9c6914dfec68
tree7c9c2358046d87d64cf84a22286254727f5ce6edtree | snapshot
parent0e24049ce47360b6e36c5696078446e1f124e551commit | diff
ef_verify: Require ship glim != 0 with capability dchrg

Because the fire command doesn't work with zero glim (commit a109de9).

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
src/lib/common/ef_verify.c diff | blob | history
Markus's Wolfpack Empire tree