If I recall correctly the code looked something like this:

<?php

if (!admin())

  echo "<script>window.location = '/signin';</script>";

delete_bid($_GET['bid_id']);

?>