private function getResultsFilePath($user, $lab)
{
$resultFileDir = getConfigProperty('results_directory');
$resultFilename = $user . '_Lab_' . $lab . '_feedback.txt';
//var_dump($resultFileDir . $resultFilename);
return $resultFileDir . $resultFilename;
}
function runTests($filename)
{
sleep(1);
$script = getConfigProperty('script_location');
$result = exec($script . ' ' . $filename);
return $result;
}
?>
">
</div>
<div class="form-group">
<label for="welcomeTitleTextBox">Subtitle</label>
<input id="welcomeTitleTextBox" name='welcome_title' type="text" class="form-control"
value="<?php
echo getConfigProperty('welcome_title');
?>
">
</div>
<div class="form-group">
<label for="welcomeText">Welcome Message</label>
<textarea id="welcomeText" name="welcome_message" rows="4"
class="form-control"><?php
echo getConfigProperty('welcome_message');
?>
</textarea>
</div>
<button class="btn btn-primary" type="submit" name="submit">Submit Changes</button>
</form>
</div>
</content>
</div>
<!-- /container -->
<?php
include_once "templates/page_footer.php";
