Various improvements #17
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
While this pull request also includes some small improvements, the main change can be found in the Timetable fixes commit.
As of now, the weekNumberYear didn't get updated through the scheduled updates. Also, if a timeout occurs on the scheduled update, the existing data is overwritten. I don't see a good reason for that. That's why I changed it accordingly.
please rebase onto master
f98dc3d808
to6f4cb9fd66
@ -35,0 +42,4 @@
val semaphore = Semaphore(3, 0)
}
private val htmlDoc: Document? =
please us
?.let { ... }
for null safety. Something like this:This should be fixed with
ca14a5d2f6
lgtm