[過去ﾛｸﾞ] 【5chブラウザ】 JDim Part1 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
709(2): 2019/12/21(土)22:10 ID:ci/EvF8G(1) AAS
いやサーバの時計は狂ってない
が、IDの切り替わりが0時ちょうどじゃないから単純な話じゃない
711: 2019/12/21(土)23:56 ID:n/P4fBUn(1) AAS
なんか前にその辺弄った気がする…と思って見返してみたけど
外部ﾘﾝｸ[cpp]:github.com
変えるとしたら多分ここでIDをキーにして集計してるとこのキーをID+日付に変更すれば良いのかな
考慮する必要があるのは
・他掲示板、他板等でのIDの扱いの違い (>>706)
・IDの切り替わるタイミング (>>709)
・日付のフォーマットのパース方法(日付がunixtimeではなく｢xxxx/xx/xx(x) xx:xx:xx.xx｣みたいな文字列で保持されてるので時間を除いたxxxx/xx/xx(x)の部分を取り出す必要があるけど他の掲示板や板でのフォーマットは？)
とか…？
もっともこのコミット前から日付は考慮してなかったようなので、それで特に問題となってなかった以上なんか具体的に｢日付違いのID被りを同一としちゃうとこれこれこういう実用上の問題がある｣とかみたいなのが無い限り個人的には保留が良いかな…と思う(´・ω・`)
(もちろん誰かが｢俺が分かってるからこれでおkやで｣みたいなのを否定する意味じゃなくて自信ないから自分の手では変更したくないって意味で)
713: 2019/12/22(日)19:04 ID:ZNVTEjcn(1) AAS
>>709
そうそう。
その現象は遭遇したことがある。
23:59に書き込んだ時のIDが次の日の00:01に書き込んだときに
更新されていないことが過去15年の間に3回くらいあった。
多分、IDを計算するサーバがスレ(板)のサーバとは別にあって、
それぞれの時刻がズレているんだろうな。
今は知らんけど。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.049s