view website/push.sh @ 1100:ad6b3b9fef40

add Table.is_empty() and Table.size()
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 21 May 2017 16:12:22 -0600
parents 048d6c314a35
children 5684a14582c4
line wrap: on
line source

PASSWORD=$1
luan luan:host/push.luan luan.luanhost.com $PASSWORD src 2>&1 | tee err