diff options
author | Jon Marius Venstad <venstad@gmail.com> | 2021-06-28 09:10:20 +0200 |
---|---|---|
committer | Jon Marius Venstad <venstad@gmail.com> | 2021-06-28 09:10:20 +0200 |
commit | 49fc7c921fa5103157027c99723546f307e3c297 (patch) | |
tree | 410eb601b6ed7a49794543ae4ffc6fb86e67eddb /TODO.md | |
parent | bf3053f7d316f8baf470ed7cce951a41f6cb59da (diff) |
Fix indentation in TODO.md
Diffstat (limited to 'TODO.md')
-rw-r--r-- | TODO.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -144,8 +144,8 @@ func enqueue(operation): future dispatch(operation, result, 1) else: previous.when_complete(ignored => dispatch(operation, result, 1)) - result.when_complete(ignored => inflight.remove_value(result)) # remove mapping unless it has been replaced - return result + result.when_complete(ignored => inflight.remove_value(result)) # remove mapping unless it has been replaced + return result ``` Apply synchronization as necessary. The `inflight` map is used to serialise multiple operations |