diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-01-05 20:20:09 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-01-05 20:20:09 -0500 |
| commit | 23c9090fda2cc13c41061b387a31742064d1b64f (patch) | |
| tree | b4fcc7c72f2d39435bc102fe548b05d2537be4a8 /demo/hello.urs | |
| parent | 10d6d18a4e3038752871acd1ff5c2194f890e043 (diff) | |
MySQL: catch deadlocks during queries
Diffstat (limited to 'demo/hello.urs')
0 files changed, 0 insertions, 0 deletions