diff options
| author |   imarom <imarom@cisco.com> | 2016-05-29 12:52:00 +0300 |
|---|---|---|
| committer | imarom <imarom@cisco.com> | 2016-05-29 12:52:00 +0300 |
| commit | 285e051d05ba4a7b59d0b8aa658237150906e5cb (patch) | |
| tree | 739b7e1d45e851e79aaeb6bd06a6357a50fcc589 /linux/ws_main.py | |
| parent | b0b3908b1b3742b84b48298fb8f7524e422bb28d (diff) | |
fix for bug trex-210:
double barrier is required to make sure sync with the server
Diffstat (limited to 'linux/ws_main.py')
0 files changed, 0 insertions, 0 deletions