Fix bug in local server when code uses set.seed