# Configuration file # Quarkus cors settings quarkus.http.cors=true %dev.quarkus.http.cors.origins=http://localhost:8081,http://192.168.2.109:8081 quarkus.http.cors.origins=http://localhost,http://dmn.fg-bks.uni-koblenz.de,http://141.26.209.83 quarkus.http.cors.headers=accept,authorization,content-type,x-requested-with quarkus.http.cors.methods=GET,POST,OPTIONS # Amount of threads for calculating the verifications verifier.threads=8 # No parallel execution in dev mode %dev.verifier.threads=1 # Scan package for verifier verifier.package=de.unikoblenz.fgbks.core.dmn.verification.verifier # Logging quarkus.log.console.color=false quarkus.log.console.level=INFO %dev.quarkus.log.console.level=DEBUG