Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat(websocket): websocketから返されるcommit errorを適切に処理する #166

Merged
merged 3 commits into from
Apr 30, 2024

Conversation

takker99
Copy link
Owner

@takker99 takker99 commented Apr 19, 2024

  • SocketIOErrorTimeoutErrorは3秒待ってから再試行 (本家の挙動と同じ)
  • NotFastForwardErrorは、新しいページ情報をPullして、それを元にpushし直す
  • DuplicateTitleErrorは、patch()の場合別のタイトルにしてpushし直す
    このあたりの処理をpush()に全てまとめ、deletePage()patch()などはこれを呼び出すだけにした。

objectのpropertiesを増やしたり、戻り値を生やしたりしたが、破壊的変更はしてないはず

- SocketIOErrorとTimeoutErrorは3秒待ってから再試行 (本家の挙動と同じ)
- NotFastForwardErrorは、新しいページ情報をPullして、それを元にpushし直す
- DuplicateTitleErrorは、patchの場合別のタイトルにしてpushし直す
このあたりの処理を`push()`に全てまとめ、`deletePage()`や`patch()`などはこれを呼び出すだけにした。

objectのpropertiesを増やしたり、戻り値を生やしたりしたが、破壊的変更はしてないはず
scrapbox-userscript-websocketのバグ修正
@takker99 takker99 merged commit 6aeb500 into main Apr 30, 2024
2 checks passed
@takker99 takker99 deleted the deal-with-push-errors branch April 30, 2024 09:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant