* Reads size bytes into the destination buffer from filename.
*
*/
-bool slurp(char *filename, char *destination, int size) {
+bool slurp(const char *filename, char *destination, int size) {
int fd;
if ((fd = open(filename, O_RDONLY)) == -1)
return false;
- (void)read(fd, destination, size);
+ int n = read(fd, destination, size);
+ if (n != -1)
+ destination[n] = '\0';
(void)close(fd);
return true;