1
export const SYNCDB_OPTIONS = {
2
  change_throttle: 50, // our UI/React can handle more rapid updates; plus we want output FAST.
3
  patch_interval: 50,
4
  primary_keys: ["type", "id"],
5
  string_cols: ["input"],
6
  cursors: true,
7
  persistent: true,
8
};
9

10