Rodrigo Silva
07/16/2020, 1:09 PMdevelopment
and deployment
. How do I switch between them?
ktor {
development {
port = 8091
port = ${?DEV_PORT}
}
deployment {
port = 8090
port = ${?PORT}
}
application {
modules = [ com.rjdesenvolvimento.aries.ApplicationKt.module ]
}
}
Marc Knaup
07/16/2020, 3:15 PM… -Dconfig.resource=development.conf
Rodrigo Silva
07/16/2020, 6:53 PMRodrigo Silva
07/16/2020, 6:54 PMjava -jar "my-file.jar" -Dconfig.resource=development.conf
but nothing changedMarc Knaup
07/16/2020, 7:46 PMefemoney
07/17/2020, 10:55 AMRodrigo Silva
07/17/2020, 2:40 PMRodrigo Silva
07/17/2020, 2:41 PMefemoney
07/17/2020, 2:41 PMRodrigo Silva
07/17/2020, 2:43 PM