set default port for dev server to 2012
use ISO date format for logs
fix examples for web
show examples on playground