adding route /api/ping

alex

3 hours ago edcf6061e5efbe1b60bc1d17ff4bbe83ae866a09

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