-
Erik de Castro Lopo authored
Previous version of get_console_width() may return 0 which will result in a division by 0 in stats_print_name(): console_width = get_console_width(); len = strlen_console(name)+2; console_chars_left = console_width - (len % console_width); Bug-report: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=739613 Patch-from: lvqcl <lvqcl.mail@gmail.com>
9443151d