search

lks9 / src-tracer

Other
0 stars 0 forks source link

SQLITE error #30

Closed lks9 closed 1 year ago

lks9 commented 1 year ago

Sometimes during instrumentation, sqlite's INSERT INTO fails with

sqlite3.OperationalError: database is locked

I could not solve this. Third-party docs suggest that the problem lies within postgresql: django-docs. To be honest, I don't fully understand the issue and why this cannot be fixed within sqlite.

The current behavior is the following:

1) Insert raises the sqlite3.OperationalError. 2) Exception is catched and nothing is inserted. 3) Select gives an empty result. 4) The instrumenter finaly fails with an uncatched index out of bounds exception.

As a workaround, simply start instrumentation (or compilation with make) again.

lks9 commented 1 year ago

Accidentally fixed together with 2627f334079197aa113bb7d70e50963b52812b9b. Also, compiling is a bit faster now.