| <component name="ProjectRunConfigurationManager"> |
| <configuration default="false" name="basemap-dev" type="Application" factoryName="Application"> |
| <option name="MAIN_CLASS_NAME" value="org.apache.baremaps.cli.Baremaps" /> |
| <module name="baremaps-cli" /> |
| <option name="PROGRAM_PARAMETERS" value="map dev --tileset tileset.js --style style.js" /> |
| <option name="WORKING_DIRECTORY" value="$PROJECT_DIR$/basemap" /> |
| <extension name="coverage"> |
| <pattern> |
| <option name="PATTERN" value="org.apache.baremaps.server.ogcapi.*" /> |
| <option name="ENABLED" value="true" /> |
| </pattern> |
| </extension> |
| <method v="2"> |
| <option name="Make" enabled="true" /> |
| </method> |
| </configuration> |
| </component> |