adding route /api/ping

alex

3 hours ago 24e2d3d3400dcdc84cd4659d2710e83e97a5700c

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