Google Groups Home
Help | Sign in
OVLoader 近期的變動:display server可自行設定,以及安全性支援
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
  1 message - Collapse all
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
Lukhnos D. Liu  
View profile
 More options May 31 2007, 1:08 pm
From: "Lukhnos D. Liu" <lukh...@gmail.com>
Date: Fri, 1 Jun 2007 01:08:51 +0800
Local: Thurs, May 31 2007 1:08 pm
Subject: OVLoader 近期的變動:display server可自行設定,以及安全性支援

r2666-r2668 做了幾個變動。這些是為了早一點讓俗稱
「入力娘」的 WebKitServer 能早日
實用化,所做的準備。

最重要的兩個變化。首先,是過去一直提到的 "display  
server 安全性問題" 。此處的安全
性不是網路或資料安全性。而是「當 OVDisplayServer 從
記憶體中消失時,現有使用 OV 的
應用程式會出問題」。

這個問題已經解決了,靠的是 OS X 在 distant object 失
效時會發出的 exception。
如果 OVLoader 抓到此一 exception ,即會重新連線。

另外就是在 OV prefereneces 中增加以下這幾個 key:

        <key>OVLoader</key>
        <dict>
                <key>displayServerName</key>
                <string>OVWebKitServer-0.7.2</string>
                <key>displayServerPath</key>
                <string>/Users/blah/projects/openvanilla/trunk/Experiments/
WebKitServer/build/Release/WebKitServer.app</string>
                <key>displayServerStartupTimeout</key>
                <string>20</string>
         ...
        </dict>

以上面的例子來說,displayServerName 設成  
OVWebKitServer-0.7.2 ,然後從
displayServerPath 所指定的目錄載入 display server ,而啟
動的 time out 定為
1 秒中(20 個 0.05 sec 的 tick)。

WebKitServer 也在此正式更動 identifer,使用  
"OVWebKitServer-0.7.2" 來和
OVDisplayServer 做區別。

至此,想要測試 WebKitServer 的朋友,可以自由 kill/quit  
WebKitServer 程式了。

d.


    Reply to author    Forward  
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2008 Google