diff options
author | Aleksander Morgado <aleksander@lanedo.com> | 2012-03-01 23:47:57 +0100 |
---|---|---|
committer | Aleksander Morgado <aleksander@lanedo.com> | 2012-03-16 14:53:20 +0100 |
commit | 52ff02323d07d4b27755f7ad49bef5ee53e27109 (patch) | |
tree | 53d1f5db5a6701b6fd62eaba1106740138d2f996 /docs/reference/api/ModemManager-interface-initialization-sequence.dia | |
parent | f8f09692894dc30e6bfd019554783b7a18de61a2 (diff) |
plugin-manager: avoid race when port deferred until suggested and suggestion already there
It may happen that we launch the supports task in the port AFTER having received
the suggestion.
Diffstat (limited to 'docs/reference/api/ModemManager-interface-initialization-sequence.dia')
0 files changed, 0 insertions, 0 deletions