adding route /api/ping

alex

3 hours ago b512ecf6d0399fdc86aebbad533006ea6fe4af21

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