Joerg Wunsch 8a2ecea916 In get_string(), 0-terminate the contents of buf ``just in case'';
otherwise, if the very first fgetc() already yielded EOF, the returned
string won't get terminated at all.

MFC after:	1 day
2001-08-28 21:27:36 +00:00
..
2001-08-13 21:59:04 +00:00
2001-07-15 08:06:20 +00:00