Warzone2100/warzone2100 — pull request #41 by ivasilov (2013-10-05 16:23:40+00:00)
Title: Minor bug fixes

Some issues I found while running the WZ code under static analysis.