create table iceplex_servers (
  servernum serial primary key,
  servername varchar(255)
  listeners int,
  status varchar(255),
);

