home / github / issue_comments

Menu
  • Search all tables
  • GraphQL API

issue_comments: 586111102

This data as json

html_url issue_url id node_id user created_at updated_at author_association body reactions issue performed_via_github_app
https://github.com/simonw/datasette/pull/672#issuecomment-586111102 https://api.github.com/repos/simonw/datasette/issues/672 586111102 MDEyOklzc3VlQ29tbWVudDU4NjExMTEwMg== 9599 2020-02-14T05:59:24Z 2020-02-14T06:00:36Z OWNER

Interesting new problem: hitting Ctrl+C no longer terminates the problem provided that scan_dirs() thread is still running.

https://stackoverflow.com/questions/49992329/the-workers-in-threadpoolexecutor-is-not-really-daemon has clues. The workers are only meant to exit when their worker queues are empty.

But... I want to run the worker every 10 seconds. How do I do that without having it loop forever and hence never quit?

{
    "total_count": 0,
    "+1": 0,
    "-1": 0,
    "laugh": 0,
    "hooray": 0,
    "confused": 0,
    "heart": 0,
    "rocket": 0,
    "eyes": 0
}
565064079  
Powered by Datasette · Queries took 1.688ms · About: github-to-sqlite