#ifndef _INSTR_HOSTS_H_
#define _INSTR_HOSTS_H_

int InstrHost(char *service, char *input, char *instr, int instr_len,
              char *host, int host_len, int *port);
/* service (in) is a service name (tecs, sics, sea)
   input (in) may be a host or instrument name
   instr (out) is the instrument name
   host (out) is the host name
   port (out) is the port name
   the return value is 1, called from a computer related to the instrument,
   0 else
*/

void InstrList(char *service, char *list, int list_len);
/* get an instrument list supporting named service, separated with blanks */

char *InstrHostRemoteName(void);
/* 
  returns the remote host name (or the host name, if not valid)
*/

char *InstrHostRemoteInstr(void);
/* 
   called after InstrHost, get the instrument running on remotehost
   or an empty string otherwise. the result is allocated, please free
*/

char *InstrHostName(void);
/* 
   called after InstrHost, get the full host name where sea was started.
   the result is allocated, please free
*/

#endif /* _INSTR_HOSTS_H_ */