Skip to content
Snippets Groups Projects
Select Git revision
  • 50aca56f6fde4c9c6a8bb1a8d05d64669b00682e
  • master default protected
  • djmdev
  • dev
  • cloud_water_contents
  • 1-download-era5
  • sysinstall
  • origin/task/language-editing
  • task/language-editing
  • feature/makefiles
  • v7.1.2
  • v7.1.1
  • v7.1
  • v7.0.4.1
  • 7.0.4
15 results

fort.16

Blame
  • service_ready 105 B
    #!/bin/bash
    if [ -f /ready ]; then
      echo "service is ready and accepting connections"
      exit 0
    fi
    exit 1