Marc
/
server
forked from github/server
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

coverity complains about possibly missing warden.

This commit is contained in:
Enno Rehling 2020-09-04 19:51:17 +02:00
parent 039d3ecc6b
commit c884138351
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/modules/museum.c
View File

@ -124,7 +124,7 @@ order * ord)
UNUSED_ARG(amount); UNUSED_ARG(amount);
/* Pruefen ob in Eingangshalle */ /* Pruefen ob in Eingangshalle */
if (u->region->x != 9525 || u->region->y != 9525) { if (warden == NULL || u->region->x != 9525 || u->region->y != 9525) {
cmistake(u, ord, 266, MSG_MAGIC); cmistake(u, ord, 266, MSG_MAGIC);
return 0; return 0;
} }