Denys Vlasenko
2aeb201c97
libbb: new option FEATURE_ETC_SERVICES: if off, /etc/services reads often avoided
In practice, "wget http://host.com/" always uses port 80.
People explicitly set non-standard ports via options or parameters
("telnet 1.2.3.4 567" or "telnet 1.2.3.4 ftp") instead of modifying
/etc/services.
function old new delta
telnet_main 1466 1464 -2
rdate_main 215 198 -17
fakeidentd_main 269 252 -17
parse_url 459 392 -67
------------------------------------------------------------------------------
(add/remove: 0/0 grow/shrink: 0/4 up/down: 0/-103) Total: -103 bytes
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
2018-04-17 12:43:54 +02:00
..
2018-03-27 23:55:43 +02:00
2016-12-22 15:13:37 +01:00
2018-04-13 13:27:52 +02:00
2017-07-21 09:50:55 +02:00
2018-02-11 21:16:24 +01:00
2017-08-06 20:14:02 +02:00
2017-07-21 09:50:55 +02:00
2017-07-21 09:50:55 +02:00
2017-08-08 21:55:02 +02:00
2018-04-07 14:18:42 +02:00
2018-04-07 13:22:52 +02:00
2017-09-18 16:28:43 +02:00
2016-12-22 15:13:37 +01:00
2016-12-22 15:33:11 +01:00
2018-04-07 01:13:30 +02:00
2018-03-05 17:46:17 +01:00
2017-08-08 17:09:40 +02:00
2018-03-29 18:45:11 +02:00
2018-03-28 00:02:52 +02:00
2018-02-13 18:20:28 +01:00
2018-03-05 18:30:33 +01:00
2018-03-08 16:06:18 +01:00
2017-08-08 21:55:02 +02:00
2018-04-17 12:43:54 +02:00
2017-04-17 16:13:32 +02:00
2017-09-18 16:28:43 +02:00
2017-09-18 16:28:43 +02:00
2017-08-08 21:55:02 +02:00
2017-10-05 15:19:25 +02:00
2018-03-27 23:28:53 +02:00
2018-04-15 20:04:57 +02:00
2018-04-08 17:23:27 +02:00
2018-02-06 17:11:15 +01:00
2018-02-13 23:53:24 +01:00
2017-08-08 21:55:02 +02:00
2018-03-27 23:55:43 +02:00
2017-08-08 21:55:02 +02:00
2018-03-20 11:41:51 +01:00
2018-02-08 08:42:37 +01:00
2018-02-27 13:03:44 +01:00
2018-02-27 13:03:44 +01:00
2018-03-11 23:02:50 +01:00
2018-04-17 12:43:54 +02:00
2017-08-08 21:55:02 +02:00
2017-12-31 17:30:02 +01:00
2017-07-15 20:22:25 +02:00
2017-02-04 16:23:49 +01:00
2017-07-15 17:19:38 +02:00
2017-07-15 17:19:38 +02:00
2017-07-15 17:19:38 +02:00
2017-07-15 17:19:38 +02:00
2017-04-03 21:53:29 +02:00
2017-01-19 15:51:00 +01:00
2017-01-19 15:51:00 +01:00
2017-01-23 01:15:13 +01:00
2018-02-14 17:37:41 +01:00
2017-07-15 17:13:08 +02:00
2017-10-31 15:59:19 +01:00
2017-08-08 21:55:02 +02:00
2017-09-18 16:28:43 +02:00
2018-04-17 12:43:54 +02:00
2017-09-18 16:28:43 +02:00
2017-10-05 15:19:25 +02:00