adding route /api/ping

alex

3 hours ago edcf6061e5efbe1b60bc1d17ff4bbe83ae866a09

1
2
3
4
#!/bin/bash
 
sudo cp php/globus-ilias-rest/* /var/local/ilias/globusfach-test/ilias/globus-ilias-rest/
sudo cp /var/local/ilias/globusfach-test/ilias/globus-ilias-rest/api.php /var/local/ilias/globusfach-test/ilias/globus-ilias-rest/login.php