$ diff -u clean/dsh-0.25.10/parameter.c dsh-0.25.10/parameter.c
--- clean/dsh-0.25.10/parameter.c 2007-08-15 00:23:42.000000000 +0100
+++ dsh-0.25.10/parameter.c 2011-03-09 09:50:22.000000000 +0000
@@ -170,7 +170,16 @@
{
const char * strippedstring = stripwhitespace(buf);
if (strippedstring)
- machinelist=machinelist_lladd(machinelist,strippedstring);
+ {
+ if ((0 == strncmp(". ", strippedstring, 2)))
+ {
+ machinelist=read_machinelist(machinelist,
&strippedstring[2], NULL);
+ }
+ else
+ {
+ machinelist=machinelist_lladd(machinelist,strippedstring);
+ }
+ }
}
fclose(f);
}
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
