diff core/portmanager.lua @ 6932:f5fd2c5cdf28

util.timer: If possible, close the existing timer handle in order to have only one
author Kim Alvefur <zash@zash.se>
date Sun, 22 Nov 2015 17:25:44 +0100
parents d64c1f3c7e2e
children daaa52b3f45f
line wrap: on
line diff