comparison src/settings.sml @ 1830:d636d33fd8a2

Fix broken implementation of 'urweb daemon stop'
author Austin Seipp <mad.one@gmail.com>
date Wed, 28 Nov 2012 11:39:38 -0500
parents 3c56aa6a0f55
children c3119c263bd3
comparison
equal deleted inserted replaced
1829:aadfc1a138d8 1830:d636d33fd8a2