aboutsummaryrefslogtreecommitdiffstats
path: root/rcfile_y.y
diff options
context:
space:
mode:
Diffstat (limited to 'rcfile_y.y')
-rw-r--r--rcfile_y.y5
1 files changed, 3 insertions, 2 deletions
diff --git a/rcfile_y.y b/rcfile_y.y
index 40065639..898c560e 100644
--- a/rcfile_y.y
+++ b/rcfile_y.y
@@ -70,7 +70,7 @@ statement : SET BATCHLIMIT MAP NUMBER {batchlimit = $4;}
/*
* The way the next two productions are written depends on the fact that
- * userspecs cannot be empty. It's a kluge to deal with files that sset
+ * userspecs cannot be empty. It's a kluge to deal with files that set
* up a load of defaults and then have poll statements following with no
* user options at all.
*/
@@ -78,7 +78,8 @@ statement : SET BATCHLIMIT MAP NUMBER {batchlimit = $4;}
| define_server serverspecs userspecs
;
-define_server : POLL STRING {strcpy(current.servername, $2);}
+define_server : POLL STRING {strcpy(current.servername, $2);
+ current.skip = FALSE;}
| SKIP STRING {strcpy(current.servername, $2);
current.skip = TRUE;}
| DEFAULTS {strcpy(current.servername,"defaults");}