bug: some ajax code wasn't executed if an error was thrown; so I put it in a `finally` block
bug: some ajax code wasn't executed if an error was thrown; so I put it in a `finally` block

farzher/mithril.js,farzher/mithril.js