* GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */
include_once '../../includes/includes.php';
sec_session_start();
if (!isset($_SESSION['username'])) {
    header("Location: ../../logout.php");
    exit;
}
if (isset($_GET['opt'])) {
    $check = dbCheckCorrectDevPwd($_POST['devName'], $_POST['devActualPwd']);
    if ($check == true) {
        if ($_GET['opt'] == "info") {
            $result = dbCheckDevName_format($_POST['devNewName']);
            if ($result == false) {
                header('Location: ../devDetails.php?devName=' . $_POST['devName'] . '&errorMessage=New device name has not correct format');
                exit;
            }
            $result = dbCheckDevName_exist($_POST['devNewName']);
            if ($_POST['devName'] != $_POST['devNewName'] && $result == true) {
                header('Location: ../devDetails.php?devName=' . $_POST['devName'] . '&errorMessage=New device name already exist');
                exit;
            }
            $email = dbGetUserEmail($_SESSION['username']);
            if ($email == false) {
                header('Location: ../../error.php?err=Please log in again');
                exit;
            }
            //Change info
Example #2
0
function dbCheckNewDevName($devName)
{
    //valid devname (alphanumeric + 6 characters min
    if (!dbCheckDevName_format($devName)) {
        return "Device name is not valid";
    }
    if (dbCheckDevName_exist($devName)) {
        return "This device name already exists. Please choose another one";
    }
    return true;
}