/*
* Empire - A multi-player, client/server Internet based war game.
- * Copyright (C) 1986-2011, Dave Pare, Jeff Bailey, Thomas Ruschak,
+ * Copyright (C) 1986-2014, Dave Pare, Jeff Bailey, Thomas Ruschak,
* Ken Stevens, Steve McClure, Markus Armbruster
*
* Empire is free software: you can redistribute it and/or modify
str = getstring(prompt, buf);
if (!str)
return 0;
- }
+ } else
+ make_stale_if_command_arg(str);
if (*str == 0) {
- /* empty string passed by player */
return 0;
}
if (type == EF_NATION && isalpha(*str)) {