!7

sS clientID = "709303807085-rvu63dqa5hjcii6h0j70lhn7me27cegc.apps.googleusercontent.com";

html {
  if (eq(uri, "/verify"))
    ret yesNo(googleVerifyUserToken(clientID, params.get("token")));
  
  ret [[<script src="https://apis.google.com/js/platform.js" async defer></script>
    <meta name="google-signin-client_id" content="$CLIENTID">
    <div class="g-signin2" data-onsuccess="onSignIn"></div>
    <script>
    function onSignIn(googleUser) {
      var profile = googleUser.getBasicProfile();
      var email = profile.getEmail();
      if (email != "") {
        var token = googleUser.getAuthResponse().id_token;
        alert("Email: " + email + "\nToken: " + token);
        /*
        var myKeyVals = { token: token }
        $.ajax({
          type: "POST",
          url: "validate.php",
          data: myKeyVals,
          dataType: "text",
          success: function(data) {
            window.location = "page";
          }
        });
        */
      }
    }

    function signOut() {
      var auth2 = gapi.auth2.getAuthInstance();
      auth2.signOut().then(function () {});
    }
    </script>
    <p><a href="javascript:signOut()">Sign out</a></p>
  ]].replace("$CLIENTID", clientID);
}