Home
last modified time | relevance | path

Searched refs:file (Results 1 – 11 of 11) sorted by relevance

/web-master/scripts/
H A Dupdate-backend57 // Fetch data into a temporary file first, and then
58 // overwrite the real file with the new data
59 function fetch_into_file($url, $file) argument
76 // Open temporary file for writing
77 $dest = @fopen("$file~", "w");
79 echo "failed to open '$file~' for writing\n";
84 // out the chunk to the output file if possible
90 unlink("$file~");
91 echo "failed writing to '$file~'\n";
100 echo "'$file~' was empty, skipping\n";
H A Dupdate-user-notes4 // Build complete file with all notes
68 $file = $root.substr($hash,0,2)."/$hash"; variable
69 if ($since && !$restarted[$file]++) {
70 unlink($file);
73 $mtime = @filemtime($file);
74 if (!($nf = @fopen($file,"a"))) {
89 touch($file, $mtime < $ts ? $ts : $mtime);
H A Dip-to-country22 // Fetch data from server to local temporary file
31 The following code checks the structure of the file
32 received. If this is an updated data file, then it
36 format, then we reject to replace the old file with this.
48 // the file is expected to be ok
51 // While we can read a line from the file
94 // Remove the temp file. If the data is ok, move
122 // While we can read the file
147 // Close the database file
150 // Write out index to file
H A Dconference_teaser12 // Try to open output file for reading
16 // Load the RSS file and register used namespaces
48 // If we don't have new data, delete file
55 // Replace real file with temporary file
H A Devent_listing12 // Try to open output file for reading
16 // Read in events CSV file
27 // Start output file with PHP code
39 // While we can read the events file
42 // Get information event elements from file
134 // If we don't have new data, delete file
141 // Replace real file with temporary file
H A Dpregen_flickr71 // attempt to fetch the file from flickr.
94 foreach ($files as $file) {
95 if (strpos($file, FLICKR_FILE_PREFIX) === 0 && !in_array($file, $fresh)) {
96 unlink($outputPath . '/' . $file);
H A Drss_parser3 // This file contains code to scrape the PHP.net homepage and
10 // Return the whole file in a string
67 // Parse the index file searching for news item information
73 // Split the file by newlines
/web-master/vendor/michelf/php-markdown-extra/
H A DPHP Markdown Extra Readme.text48 1. To use PHP Markdown with WordPress, place the "makrdown.php" file
80 "modifier.markdown.php" and place the file in the "bBlog_plugins"
100 1. Rename the "markdown.php" file to "classTextile.php". This will
103 2. Replace the "classTextile.php" file TextPattern installed in your
111 can solve this problem by installing the "smartypants.php" file from
122 include the file and then call the Markdown function on the text you
153 swapping the old "markdown.php" file for the new one.
156 hide the "markdown.php" file.
183 the "markdown.php" file.
191 "WordPress settings" header at the start of the "markdown.php" file.
[all …]
/web-master/
H A Dfbsd_upgrade.txt19 7. Verify that the kernel config file is up to date and that
/web-master/include/
H A Dfunctions.inc147 …: " . hsc(mysql_error()) . "<tt>\n" . hsc($query) . "</tt><br />({$bt[0]['file']}:{$bt[0]['line']}…
/web-master/manage/js/
H A Djquery.min.js19 …){return"radio"===T.type},checkbox:function(T){return"checkbox"===T.type},file:function(T){return"…

Completed in 19 milliseconds