commit | 5859b7400ad5fba75c597f1181b3855e780d4dfe | [log] [tgz] |
---|---|---|
author | Derek Bruening <bruening@google.com> | Thu Sep 11 01:34:56 2014 |
committer | Derek Bruening <bruening@google.com> | Thu Sep 11 01:34:56 2014 |
tree | b5f90b65872aa20a51ff016e570adec054b00045 | |
parent | c249ed65afff726a2523910d392d7692d07b3d90 [diff] |
i#1542: handle double quotes in client options Augments drconfiglib to pick a -client_lib delimiter to avoid quote character conflicts. Adds DR_CONFIG_OPTIONS_INVALID, with drconfiglib returning it when it finds ; or can't find a delimiter (== client path + options together contain all 3 quote types). Documents these limitations in intro.dox and dr_config.h. Fixes issue 1542 SVN-Revision: 2835