gateway/application.properties

   1 # REST endpoint configuration; i.e., where this server listens
   2 #server.address=127.0.0.1
   3 server.port=8084
   4 server.contextPath=/
   5
   6 #Task executor that run every x seconds
   7 peer.jobchecker.interval=300
   8
   9
  10
  11