f5624a69e3
Once keeplocked is called, the lock will expire at the end of that call. But if keeplocked never gets called, this avoids the lock persisting forever. |
||
|---|---|---|
| .. | ||
| Client.hs | ||
| Server.hs | ||
| State.hs | ||
| Types.hs | ||
| Url.hs | ||
f5624a69e3
Once keeplocked is called, the lock will expire at the end of that call. But if keeplocked never gets called, this avoids the lock persisting forever. |
||
|---|---|---|
| .. | ||
| Client.hs | ||
| Server.hs | ||
| State.hs | ||
| Types.hs | ||
| Url.hs | ||