[過去ﾛｸﾞ] 【5chブラウザ】 JDim Part1 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
694: 2019/12/21(土)16:29 ID:0zZMKK4U(3/5) AAS
>>692>>693
おｋ、./configureのデフォルトをgtk3版にすることから始めるけどリリースまでは現状維持しとく
gtk2終了は大きい変化なので変更してから意見が出てくるかも
あと方針とか公開するプロジェクトのページを作ってリクエストや意見を出せる仕組みを整えたい
695: 2019/12/21(土)16:32 ID:0zZMKK4U(4/5) AAS
あれ、なんかid被ってるな
696(2): 2019/12/21(土)16:49 ID:+lCuTDXT(1) AAS
日付の違うID被りという問題が発生してワロタ
697(1): 2019/12/21(土)17:25 ID:r0thlY94(1/6) AAS
>>696
それを面白いから残すか
不具合として修正するのか・・・
中の人に聞いてみたい
698(1): 2019/12/21(土)17:56 ID:Yrv1oaKX(1/2) AAS
>>696
ID被りは不具合じゃないから直しようがない
699: 2019/12/21(土)17:57 ID:Yrv1oaKX(2/2) AAS
>>698は>>697宛
700(2): 2019/12/21(土)18:10 ID:r0thlY94(2/6) AAS
日付違うなら出来るでしょ
ただの雑談なのでスルー推奨
701: 2019/12/21(土)18:21 ID:eIDaCDnY(1/3) AAS
>>700
5chID
702: 2019/12/21(土)18:23 ID:eIDaCDnY(2/3) AAS
ミスった
>>700
5ch運営がIDの重複チェックとかやるわけ無い
703(1): 2019/12/21(土)18:55 ID:r0thlY94(3/6) AAS
JDimの中の人の事だが
大丈夫？
704: 2019/12/21(土)19:46 ID:eIDaCDnY(3/3) AAS
>>703
IDは5chのサーバー側で算出してるので、
JDim側ではどうすることもできないぞ。
他の専ブラも同様な。
705: 2019/12/21(土)20:05 ID:r0thlY94(4/6) AAS
あー
いいやﾏﾝﾄﾞｸｾ
706(2): 2019/12/21(土)20:08 ID:0zZMKK4U(5/5) AAS
ブラウザ側でID＋日付で判定してID抽出やポップアップで振り分ける機能ってことだね？
一応、日付に関係なくID固定のサイトがあるかもしれないので
日付で区別は修正じゃなくてオプション追加にしないとだめかも
まあただ頻発する件じゃないので…pull requestがあれば助かる
707: 2019/12/21(土)20:11 ID:r0thlY94(5/6) AAS
>>706
そういうことです！
レスミスする人ってあの人なんでしょう
708: 2019/12/21(土)20:23 ID:r0thlY94(6/6) AAS
まぁレア現象だし5chのサーバー時間も狂ってるから
というか普通に話を流したかったのに・・・
709(2): 2019/12/21(土)22:10 ID:ci/EvF8G(1) AAS
いやサーバの時計は狂ってない
が、IDの切り替わりが0時ちょうどじゃないから単純な話じゃない
710: 2019/12/21(土)22:24 ID:QsQquJrV(1) AAS
日付違いのID被りは実用上問題ないのでは？
あと日付関係なくID固定はしたらばでそういう設定があったような
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やで｣みたいなのを否定する意味じゃなくて自信ないから自分の手では変更したくないって意味で)
712: 2019/12/22(日)08:05 ID:CjhNbhpD(1) AAS
日付違いで同一IDはJDim側で別IDと解釈するべきかって話か
それなら
>個人的には保留が良いかな…と思う
に同意
日付で判断できるんだから問題ないわな
713: 2019/12/22(日)19:04 ID:ZNVTEjcn(1) AAS
>>709
そうそう。
その現象は遭遇したことがある。
23:59に書き込んだ時のIDが次の日の00:01に書き込んだときに
更新されていないことが過去15年の間に3回くらいあった。
多分、IDを計算するサーバがスレ(板)のサーバとは別にあって、
それぞれの時刻がズレているんだろうな。
今は知らんけど。
上下前次1-新書関写板覧索設栞歴
あと 289 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s