update Vagrantfile

create link to map directory at right position

.gitignore

@@ -38,6 +38,12 @@ Network Trash Folder
 Temporary Items
 .apdisk
 
+## Vagrant
+.vagrant/
+
+# Log files (if you are creating logs in debug mode, uncomment this)
+# *.log
+
 ## Project Files
 wsgi/.idea
 www/dlsv
@@ -47,3 +53,4 @@ www/data/events.xml
 www/data/geolocation.js
 scripts/*.json
 scripts/*.xml
+

Vagrantfile

@@ -0,0 +1,16 @@
+Vagrant.configure("2") do |config|
+  config.vm.box = "ubuntu/jammy64"
+  config.vm.synced_folder ".", "/vagrant"
+  config.vm.network(:forwarded_port, guest: 80, host: 8888)
+
+  config.vm.provision :shell, inline: <<-SHELL
+    sudo apt-get -y update
+    sudo apt-get -y install nginx
+
+    echo "Starting nginx..."
+    sudo ln -s /vagrant/www /var/www/html/map
+    sudo cp /vagrant/www/index.html.en /vagrant/www/index.html
+    sudo useradd -s /bin/false nginx
+    sudo service nginx restart
+  SHELL
+end

www/data/specialevents.js

@@ -6,5 +6,6 @@ var specialEvents = [
 	// 'bug2016vico', // Central Italy 6.5
 	// 'bug2017rfxe', // CTBT violation North Korea 6.1
 	// 'bug2019fura', // Sprengung Duisburg-Hochheide (Weißer Riese) 2.0
-	'bug2021vtgi' // Geilenkirchen 1.9
+	'bug2021vtgi', // Geilenkirchen 1.9
+	'bug2022ahxi' // Erftstadt 2.9
 ];

www/events.js

@@ -47,7 +47,7 @@ function getGeolocation(id, lat, lng) {
 					var city = json.features[0].properties.city;
 					var countryCode = json.features[0].properties.country;
 					geolocationTable[id] = city;
-					( countryCode != "Germany" ) ? geolocationTable[id] = geolocationTable[id] + " ("+countryCode+")" : null;
+					( countryCode != "Germany" && countryCode != "Deutschland" ) ? geolocationTable[id] = geolocationTable[id] + " ("+countryCode+")" : null;
 					if ( city ) {
 						$("#eventstable a.toggle[eventid="+id+"]").text(geolocationTable[id]);
 						var sort = [[0,1],[1,1],[2,1]];

www/events.js.en

@@ -47,7 +47,7 @@ function getGeolocation(id, lat, lng) {
 					var city = json.features[0].properties.city;
 					var countryCode = json.features[0].properties.country;
 					geolocationTable[id] = city;
-					( countryCode != "Germany" ) ? geolocationTable[id] = geolocationTable[id] + " ("+countryCode+")" : null;
+					( countryCode != "Germany" && countryCode != "Deutschland" ) ? geolocationTable[id] = geolocationTable[id] + " ("+countryCode+")" : null;
 					if ( city ) {
 						$("#eventstable a.toggle[eventid="+id+"]").text(geolocationTable[id]);
 						var sort = [[0,1],[1,1],[2,1]];