diff options
author | Steve Vinoski <[email protected]> | 2014-01-28 22:26:14 -0500 |
---|---|---|
committer | Steve Vinoski <[email protected]> | 2014-02-17 22:10:27 -0500 |
commit | 57573ab98e88ede4b6bca07574e537b6e4f82027 (patch) | |
tree | 481b457fba35d2df29c6e8c37b19f89cc2294847 /plt | |
parent | 6c9002f9174d40b69b3a5bcd5ef219ce4ceb3622 (diff) | |
download | otp-57573ab98e88ede4b6bca07574e537b6e4f82027.tar.gz otp-57573ab98e88ede4b6bca07574e537b6e4f82027.tar.bz2 otp-57573ab98e88ede4b6bca07574e537b6e4f82027.zip |
allow optional whitespace in dirty scheduler erl options
The +SDcpu, +SDPcpu, and +SDio options did not properly handle having their
arguments immediately following them without intervening whitespace,
e.g. +SDio20 was treated as an error. Fix all the dirty scheduler command
line options so they handle optional whitespace between them and their
associated arguments.
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions