<?php 
    include 'php_only_scripts/database.php';
    
    // init variables
    $updateMachineId=-1;
    
    // now determine if it was posted
    if (isset($_GET['mid'])){
        // Default for the machine ID is as a posted variable
        $updateMachineId=$_GET['mid'];
    }

    // Go to the tools list
    //echo ('<script>window.location = ".php";</script>');
?>