Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

datajoint/admin.py: add unsafe dj.kill option, expand display to include host #741

Merged
merged 3 commits into from
Mar 16, 2020

Commits on Mar 4, 2020

  1. datajoint/admin.py: add unsafe dj.kill option, expand display to incl…

    …ude host
    
    Unsafe dj.kill() added to facillitate usage by automatic scripts
    (e.g. job runners which need to terminate stuck/old jobs forcefully)
    
    Changes:
    
      - add 'safemode' argument to dj.kill
    
        Value defaults to Null which implies reading the value from current
        dj.config['safemode'] option, falling back to True if this is not present.
    
      - add safemode=False dj.kill operation mode
    
        This will apply the given restriction to the processlist query
        and kill all matching processes. Number of killed processes will
        be returned if no errors are encountered.
    ixcat committed Mar 4, 2020
    Configuration menu
    Copy the full SHA
    cba5ab0 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2020

  1. Configuration menu
    Copy the full SHA
    ec78b5b View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2020

  1. datajoint/admin.py: move non-prompting kill logic to new kill_quick f…

    …unction
    
    Also correctly document TIME>600 example.
    ixcat committed Mar 12, 2020
    Configuration menu
    Copy the full SHA
    f1a5870 View commit details
    Browse the repository at this point in the history