The Diner closes its doors in Old Market