";
$output = shell_exec($deleteOldRepoContents);
echo "";
echo "- Deleting local working copy of repo.
";
$output = shell_exec($cloneRepo);
echo "- Cloning current repo. $output
";
$output = shell_exec($killOldInstance);
echo "- Killing any previous docker instances you've launched.
";
$output = shell_exec($removeOldInstance);
echo "- Removing any previous docker instance.
";
$output = shell_exec($launchNewDocker);
echo "- Launching new docker instance with your code at http://wsdl-docker.cs.odu.edu:".$destinationPort." in the next 10 seconds.
";
echo "- See the Docker logs for debugging.";
echo "
";
$output = shell_exec("find /tmp/".$username." -type d -exec chmod 777 {} \;");
echo "