| commit | 2bffcd4ef5f1f2e6c6cba4ce53be7408a9c39587 | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Tue Feb 04 22:17:55 2020 +0100 |
| committer | Zesstra <zesstra@zesstra.de> | Tue Feb 04 22:17:55 2020 +0100 |
| tree | 2948a1b5438705681860426b01e0b0523ce44a71 | |
| parent | 0c8df410f9797ff75242412e1e7a85cf595128ca [diff] [blame] |
Argumenttypen praezisiert. Change-Id: I00da762890d7daaa1aa3fd495555eeadebfe2afa
diff --git a/secure/simul_efun/query_ip_name.c b/secure/simul_efun/query_ip_name.c index 0c16636..222fd26 100644 --- a/secure/simul_efun/query_ip_name.c +++ b/secure/simul_efun/query_ip_name.c
@@ -35,7 +35,7 @@ return _query_ip_number(ob); } -string query_ip_name(mixed ob) +public string query_ip_name(string|object ob) { if ( !ob || objectp(ob) ) ob=query_ip_number(ob);