| 12345678910111213141516171819 | 
							- /*
 
-  * Allocate a duplicate of an ordinary C NUL-terminated string.
 
-  */
 
- #include <string.h>
 
- #include "defs.h"
 
- #include "misc.h"
 
- char *dupstr(const char *s)
 
- {
 
-     char *p = NULL;
 
-     if (s) {
 
-         int len = strlen(s);
 
-         p = snewn(len + 1, char);
 
-         strcpy(p, s);
 
-     }
 
-     return p;
 
- }
 
 
  |