Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[WIP] Chrome DevTools Protocol implementation #18133

Closed
wants to merge 5 commits into from
Closed
Changes from 1 commit
Commits
File filter...
Filter file types
Jump to…
Jump to file
Failed to load files.

Always

Just for now

Add type annotation to script::dom::document

rustc 1.21.0-nightly (ab40a7cb0 2017-08-13) rejects unless this is present.
  • Loading branch information
spinda committed Aug 21, 2017
commit bbe380bd51136b58ba0e50be43b4f145ed951113
@@ -3944,7 +3944,7 @@ impl DocumentMethods for Document {
}

fn update_with_current_time_ms(marker: &Cell<u64>) {
if marker.get() == Default::default() {
if marker.get() == u64::default() {
let time = time::get_time();
let current_time_ms = time.sec * 1000 + time.nsec as i64 / 1000000;
marker.set(current_time_ms as u64);
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.