servo/components/script
Jinwoo Song 877c369e0b WebSocket constructor should not panic
Make an early return when the WebSocket connection fails in the constructor.
Also let the WebSockect connection to be closed when the connection could
not be established.

Fixes #6082.
2015-06-11 13:58:04 +02:00
..
dom WebSocket constructor should not panic 2015-06-11 13:58:04 +02:00
parse Make external script sources load asynchronously, yet still block further parsing. Hook up document loading to async networking events. 2015-05-20 14:22:09 -04:00
build.rs
Cargo.toml Remove fnv & smallvec crate reexports from util 2015-06-10 07:14:55 -07:00
clipboard_provider.rs Audit and reduce unstable usage in script 2015-06-10 01:20:06 +05:30
cors.rs Reduce max line length from 150 to 120 characters 2015-05-24 00:01:49 -04:00
devtools.rs Implemented GetCachedMessages 2015-05-26 10:04:31 -04:00
document_loader.rs Update test expectations. Mark script loads as complete when the response is complete. 2015-05-21 09:53:19 -04:00
horribly_inefficient_timers.rs Upgrade to rustc 551a74dddd84cf01440ee84148ebd18bc68bd7c8. 2015-05-05 10:07:34 -04:00
layout_interface.rs compositing: Implement display ports and avoid creating display lists 2015-05-19 16:53:51 -07:00
lib.rs Remove fnv & smallvec crate reexports from util 2015-06-10 07:14:55 -07:00
makefile.cargo
network_listener.rs Create easy common interface for off-thread network listeners, and remove the CORS-specific reimplementation of async networking. 2015-04-16 11:46:41 -04:00
page.rs Implement a DocumentLoader type that tracks pending loads and notifies the script task when the queue is empty. Dispatch the document load event based on the DocumentLoader's notification. 2015-05-11 13:41:51 -04:00
script_task.rs Add support for switching frames with the webdriver API. 2015-06-01 23:18:55 +01:00
textinput.rs Remove get_ prefix on getters 2015-06-02 08:54:44 -04:00
timers.rs Upgrade to rustc 551a74dddd84cf01440ee84148ebd18bc68bd7c8. 2015-05-05 10:07:34 -04:00
webdriver_handlers.rs Add support for switching frames with the webdriver API. 2015-06-01 23:18:55 +01:00