/* Choose a filename; first from the host_decl, if any, then from
the user class, then from the vendor class. */
- if (lease -> host -> filename)
+ if (lease -> host && lease -> host -> filename)
filename = lease -> host -> filename;
else if (user_class && user_class -> filename)
filename = user_class -> filename;
else filename = (char *)0;
/* Choose a server name as above. */
- if (lease -> host -> server_name)
+ if (lease -> host && lease -> host -> server_name)
server_name = lease -> host -> server_name;
else if (user_class && user_class -> server_name)
server_name = user_class -> server_name;
/* Choose a filename; first from the host_decl, if any, then from
the user class, then from the vendor class. */
- if (lease -> host -> filename)
+ if (lease -> host && lease -> host -> filename)
filename = lease -> host -> filename;
else if (user_class && user_class -> filename)
filename = user_class -> filename;
else filename = (char *)0;
/* Choose a server name as above. */
- if (lease -> host -> server_name)
+ if (lease -> host && lease -> host -> server_name)
server_name = lease -> host -> server_name;
else if (user_class && user_class -> server_name)
server_name = user_class -> server_name;