Added time element on mtimes, dates smaller, code formatted

This commit is contained in:
Leo Vasanko
2023-11-05 23:12:42 +00:00
parent 1250037cfd
commit 4c7b310f82
9 changed files with 100 additions and 41 deletions

View File

@@ -99,7 +99,7 @@ export class DocumentHandler {
this.handleUpdateMessage(msg)
break
case !!msg.space:
console.log("Watch space", msg.space)
console.log('Watch space', msg.space)
break
case !!msg.error:
this.handleError(msg)
@@ -109,14 +109,14 @@ export class DocumentHandler {
}
private handleRootMessage({ root }: { root: DirEntry }) {
console.log("Watch root", root)
console.log('Watch root', root)
if (this.store && this.store.root) {
this.store.user.isLoggedIn = true
this.store.root = root
}
}
private handleUpdateMessage(updateData: { update: UpdateEntry[] }) {
console.log("Watch update", updateData.update)
console.log('Watch update', updateData.update)
let node: DirEntry = this.store.root
for (const elem of updateData.update) {
if (elem.deleted) {