<?php
$uuid = "DE599178-5DDB-FF30-F5AA-C8939F827D57";
function printResults($str) {
if (eregi("^[0-9a-f]{8}(-[0-9a-f]{4}){3}-[0-9a-f]{12}$", $str)) {
printf("'%s' is a valid GUID/UUID.\n", $str);
} else {
printf("'%s' is NOT a valid GUID/UUID.\n", $str);
}
}
printResults($uuid);
?>
Fatal error: Uncaught Error: Call to undefined function eregi() in /in/RdhJH:5
Stack trace:
#0 /in/RdhJH(12): printResults('DE599178-5DDB-F...')
#1 {main}
thrown in /in/RdhJH on line 5
Process exited with code 255.