diff options
Diffstat (limited to 'litmus/servers.c')
| -rw-r--r-- | litmus/servers.c | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/litmus/servers.c b/litmus/servers.c index e0cc79e7a74b..5aebbe5ec1c1 100644 --- a/litmus/servers.c +++ b/litmus/servers.c | |||
| @@ -486,19 +486,19 @@ static int server_proc_write(struct file *file, const char __user *input, | |||
| 486 | "server config: %s\n", pos); | 486 | "server config: %s\n", pos); |
| 487 | goto loop_end; | 487 | goto loop_end; |
| 488 | } | 488 | } |
| 489 | space_check = pos + chars_seen; | 489 | /* space_check = pos + chars_seen; */ |
| 490 | if (space_check != newline) { | 490 | /* if (space_check != newline) { */ |
| 491 | /* If the newline was not right after the numbers | 491 | /* /\* If the newline was not right after the numbers */ |
| 492 | * converted, ensure extra characters are just space | 492 | /* * converted, ensure extra characters are just space */ |
| 493 | */ | 493 | /* *\/ */ |
| 494 | for (; *space_check; space_check++) { | 494 | /* for (; *space_check; space_check++) { */ |
| 495 | if (!isspace(*space_check)) { | 495 | /* if (!isspace(*space_check)) { */ |
| 496 | printk(KERN_WARNING "Extra characters " | 496 | /* printk(KERN_WARNING "Extra characters " */ |
| 497 | "in line: %s\n", pos); | 497 | /* "in line: %s\n", pos); */ |
| 498 | goto loop_end; | 498 | /* goto loop_end; */ |
| 499 | } | 499 | /* } */ |
| 500 | } | 500 | /* } */ |
| 501 | } | 501 | /* } */ |
| 502 | 502 | ||
| 503 | ret = server_param_check(wcet, period, cpu); | 503 | ret = server_param_check(wcet, period, cpu); |
| 504 | if (ret) goto loop_end; | 504 | if (ret) goto loop_end; |