Define plasmapper_server address at a higher level
Currently in app/Http/Controllers/PlasmidBaseController.php:
$plasmapper_server = "http://" . $_SERVER["HTTP_HOST"] . ":8080/PlasMapper/" ;
this must be defined more globally.
Currently in app/Http/Controllers/PlasmidBaseController.php:
$plasmapper_server = "http://" . $_SERVER["HTTP_HOST"] . ":8080/PlasMapper/" ;
this must be defined more globally.