diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2018-10-20 14:51:14 -0700 |
|---|---|---|
| committer |   Ole Trøan <otroan@employees.org> | 2018-10-22 09:11:48 +0000 |
| commit | 95b1b10e54545132ba55821e32c2f1a48d0e0e16 (patch) | |
| tree | 435619694a59770c52726fffd060559805f1e326 /extras/vagrant/install.sh | |
| parent | 8254018c21bbdbbc11225ebc444b1d072606caf7 (diff) | |
Fix stat_segment.c issue.
* using default socket name even when overridden in config.
Change-Id: I1849bf5269629873afd1dd48d2df785a491781c3
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'extras/vagrant/install.sh')
0 files changed, 0 insertions, 0 deletions