adding route /api/ping

alex

2 hours ago 24e2d3d3400dcdc84cd4659d2710e83e97a5700c

1
2
3
4
5
6
7
#!/bin/bash
 
P="/var/local/ilias/globusfach/ilias/globus-ilias-rest"
 
sudo cp php/globus-ilias-rest/* $P
sudo cp php/globus-ilias-rest/.htaccess $P
sudo cp $P/api.php $P/login.php