Remove unused os_max_id from HotRDSLocals
commit9a41d92a9125e95feba84f007c398e5bbf7a83ce
authorYu-Jung Lo <ylo@fb.com>
Mon, 18 Mar 2019 21:12:50 +0000 (18 14:12 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 18 Mar 2019 21:24:32 +0000 (18 14:24 -0700)
tree6e366a5f835554704567f844a034e2afaa62d59f
parentdf8d1fc70e28375ef0480309ee657403c1e25258
Remove unused os_max_id from HotRDSLocals

Summary: os_max_id usage is removed from D14456809

Reviewed By: markw65

Differential Revision: D14481946

fbshipit-source-id: 37f3b5bd7eec194826813a95dd70c689ec41d683
hphp/runtime/base/rds-local.h