Add live updating of output files to galaxy (!7) · Merge requests · NDIP / Pulsar

Merged Cage, Gregory requested to merge gzi-live-job-output into dev 2 years ago

Jan 30, 2023
- Merge branch 'dev' into 'gzi-live-job-output' · e003ca87
  Cage, Gregory authored 2 years ago
  
  # Conflicts: # pulsar/manager_factory.py
  e003ca87
- Use min polling option for stdout update frequency · 6a492581
  Cage, Gregory authored 2 years ago
  
  6a492581
Jan 27, 2023
- Fix nonetype error from configuration · 2a28df80
  Cage, Gregory authored 2 years ago
  
  2a28df80
- Add stdout frequency parameter to control how often to send stdout · 47dec13f
  Cage, Gregory authored 2 years ago
  
  47dec13f
Jan 23, 2023
- Remove output file transfer · 389f3bfb
  Cage, Gregory authored 2 years ago
  
  389f3bfb
Jan 18, 2023
- Add live updating of output files to galaxy · e03ed0f2
  Cage, Gregory authored 2 years ago
  
  e03ed0f2

Add live updating of output files to galaxy