(name, mode)
| 119 | } |
| 120 | |
| 121 | function publishLockRequestStart(name, mode) { |
| 122 | if (lockRequestStartChannel.hasSubscribers) { |
| 123 | lockRequestStartChannel.publish({ name, mode }); |
| 124 | } |
| 125 | } |
| 126 | |
| 127 | function publishLockRequestGrant(name, mode) { |
| 128 | if (lockRequestGrantChannel.hasSubscribers) { |