let set_proxy key state =
    let ip = Property.IPBlob state in
    match Info.state_proxy key ip with
      | None -> ()
      | Some ( descr , ips ) ->
          let st = Checked{emitter=descr;valid=Truein
          Proxy.set ip ips st