$restart = 1;
while ($restart) {
    $restart = 0;
    ....
}