message: Remove now unnecessary retry loop.
diff: @@ -46,10 +46,6 @@ export function Info(props: InfoProps) {
  setGoalState(null);
  return;
  }
  - const maxTries = 2;
  - let tryCount = 0;
  - while (tryCount < maxTries) {
  - tryCount++;
  try {
  const info = await global_server.info(loc.file_name, loc.line, loc.column);
  const record: any = info.record;
  @@ -58,15 +54,9 @@ export function Info(props: InfoProps) {
  setUpdating(false);
  return;
  } catch (e) {
  - if (tryCount >= maxTries) {
  setUpdateError(e);
  setUpdating(false);
  return;
  - } else {
  - // wait a second and try again.
  - await new Promise(r => setTimeout(r, 1000));
  - }
  - }
  }
  }
  