diff options
| author |   Vratko Polak <vrpolak@cisco.com> | 2019-10-02 17:08:39 +0200 |
|---|---|---|
| committer |   Tibor Frank <tifrank@cisco.com> | 2019-10-04 11:22:12 +0000 |
| commit | 46dfac2e291a0e8ddbae496776d7c0aa7c460330 (patch) | |
| tree | ab117770d3bcc758ade232023227f956fba0ee37 /resources/tools/vagrant | |
| parent | 37e192db46d5f607df95ef6c8e9ea69542d06469 (diff) | |
PAL: Accept reconf time in scientific notation
+ Otherwise "9.58828205237e-05" is understood as "9.58828205237".
+ Replace "[0-9]" with "\d".
Change-Id: I7ecf6d0116fe704ecdba46f3a0e7975aba79aa62
Signed-off-by: Vratko Polak <vrpolak@cisco.com>
(cherry picked from commit 2eb470aa8b86bd11fb6365f0fd9a77ee026dc5aa)
Diffstat (limited to 'resources/tools/vagrant')
0 files changed, 0 insertions, 0 deletions